benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let f(x)=x²+2x+1. Let g(x)=f(f(⋯f(x))), where there are 2009 f mathrm~s in the expression for g(x). Then g(x) can be written as g(x)=x^(2²⁰⁰⁹)+a_(2²⁰⁰⁹−1)x^(2²⁰⁰⁹−1)+⋯+a₁x+a₀ whe… · Discussion

Discussing Let f(x)=x²+2x+1. Let g(x)=f(f(⋯f(x))), where there are 2009 f mathrm{~s} in the expression for g(x). Then g(x) can be written as g(x)=x^(2²⁰⁰⁹)+a_(2²⁰⁰⁹−1)x^(2²⁰⁰⁹−1)+⋯+a₁x+a₀ whe… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.