証明せよ lower bound
Iterating recurrence に対してf(2n+1) f(2^{n+1})f(2n+1) およびapplying pairing lemma へresulting block gives f(2n+1)>2nf(2n−1) f(2^{n+1})>2^n f(2^{n-1})f(2n+1)>2nf(2n−1). Starting からf(2)=2 f(2)=2f(2)=2 およびf(4)=4 f(4)=4f(4)=4, inducti上のyields f(2n)>2n2/4 f(2^n)>2^{n^2/4}f(2n)>2n2/4 任意の n≥3 n\ge3n≥3.