benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Define the sequence a₁,a₂… as follows: a₁=1 and for every n≥2, a_n= begincasesn-2 & text if a_n-1=0 a_n-1-1 & text if a_n-1 neq 0endcases. A non-negative integ… · Discussion

Discussing Define the sequence a₁,a₂… as follows: a₁=1 and for every n≥2, a_{n}= begin{cases}n-2 & text { if } a_{n-1}=0 a_{n-1}-1 & text { if } a_{n-1} neq 0end{cases}. A non-negative integ… · 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.