benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let …,a_(−1),a₀,a₁,a₂,… be a sequence of positive integers satisfying the following relations: a_(n)=0 for n<0,a₀=1, and for n≥1, … · Discussion

Discussing Let …,a_(−1),a₀,a₁,a₂,… be a sequence of positive integers satisfying the following relations: a_(n)=0 for n<0,a₀=1, and for n≥1, … · 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.