benchmarks.wiki / Public workspace

Omni-MATH / Let a₀,a₁,a₂,… denote the sequence of real numbers such that a₀=2 and a_(n+1)=(a_(n))/(1+a_(n)) for n≥0. Compute a₂₀₁₂. · Discussion

Discussing Let a₀,a₁,a₂,… denote the sequence of real numbers such that a₀=2 and a_(n+1)=(a_(n))/(1+a_(n)) for n≥0. Compute a₂₀₁₂. · 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.