怎么证明，二叉堆的平均插入时间为常数2.602
如何证明，二叉堆的平均插入时间为常数2.602？
刚在书上的一个结论：
“平均看来，上滤终止得要早，业已证明，执行一次插入平均需要 2.607 次比较，因此平均 insert 操作上移元素 1.607层。”
他说业已证明。。。可是我不知道这个怎么来的，我自己用数列的方法去推了一遍，发现这个东西好像永远都是发散的啊，怎么可能会趋近一个常数呢？
找了下百度谷歌，好像很多人都是直接搬结论，并没有证明。。。我自己想证明一下，好像是要从无穷级数这个方面去想？
------解决思路----------------------
http://www.baigoogledu.com/s.php?q=%B6%FE%B2%E6%B6%D1+%C6%BD%BE%F9%B2%E5%C8%EB%CA%B1%BC%E4
刚在书上的一个结论：
“平均看来，上滤终止得要早，业已证明，执行一次插入平均需要 2.607 次比较，因此平均 insert 操作上移元素 1.607层。”
他说业已证明。。。可是我不知道这个怎么来的，我自己用数列的方法去推了一遍，发现这个东西好像永远都是发散的啊，怎么可能会趋近一个常数呢？
找了下百度谷歌，好像很多人都是直接搬结论，并没有证明。。。我自己想证明一下，好像是要从无穷级数这个方面去想？
------解决思路----------------------
http://www.baigoogledu.com/s.php?q=%B6%FE%B2%E6%B6%D1+%C6%BD%BE%F9%B2%E5%C8%EB%CA%B1%BC%E4