折半查找失败的比较次数公式