benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / A sequence of functions f_(n)(x) is defined recursively as follows: …sqrt makebox[5mm] is understood to represent the positive square root .) For each positive integer n , … · Discussion

Discussing A sequence of functions {f_(n)(x)} is defined recursively as follows: …sqrt {makebox[5mm]{}} is understood to represent the positive square root .) For each positive integer n , … · 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.