MathLabs

第6問

Fまたは各正の整数 N N 翻訳:, let f(N) f(N) be 数 のways へrepresent N N as a 和 のpowers の22 を伴うnon-negative 整数 exponents; order の和mands はignored. Fまたはexample, f(4)=4 f(4)=4. 証明せよ 任意の 整数 n≥3 n\ge3, 2n2/4<f(2n)<2n2/22^{n^2/4}<f(2^n)<2^{n^2/2}.
ステップ 5/5: 証明せよ lower bound
ざっくり言うと

証明せよ lower bound

f(2n+1)>2nf(2n−1)f(2^{n+1})>2^n f(2^{n-1})
詳しい解説

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