benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let a_(i)_(i≥0) be a sequence of real numbers defined by a_(n+1)=a_(n)²−(1)/(2^(2020⋅2^(n)−1)) for n≥0. Determine the largest value for a₀ such that a_(i)_(i≥0) is bounded. · Discussion

Discussing Let {a_(i)}_(i≥0) be a sequence of real numbers defined by a_(n+1)=a_(n)²−(1)/(2^(2020⋅2^(n)−1)) for n≥0. Determine the largest value for a₀ such that {a_(i)}_(i≥0) is bounded. · 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.