证明 upper bound
译文:The base case f(8)=10<24 f(8)=10<2^4f(8)=10<24 holds. 若 f(2n)<2n2/2 f(2^n)<2^{n^2/2}f(2n)<2n2/2 译文:, then f(2n+1)<(2n+1)2n2/2<2(n+1)2/2 f(2^{n+1})<(2^n+1)2^{n^2/2}<2^{(n+1)^2/2}f(2n+1)<(2n+1)2n2/2<2(n+1)2/2, 由于 2n+1<2n+1/22^n+1<2^{n+1/2}2n+1<2n+1/2. Inducti上proves upper inequality.