T[n]==T[n/2]+1