由已知得,f(2)=f(2^1)=3/2,f(4)=f(2^2)>2=4/2,f(8)=f(2^3)>5/2,f(16)=f(2^4)>3=6/2,f(32)=f(2^5)>7/2
所以,可以推断:当n大于等于2时,有 f(2^n)>(n+2)/2