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.