设n个不同的整数排好序后存于T[0:n-1]中。若存在一个下标i，0<=i<n，使得T[i]=i，设计一个有效算法找到这个下标。要求算法在最坏情况下的计算时间为O(logn)。