benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let's assume x,y>0 (clearly, we can do this, since if what we want to prove doesn't hold, then it doesn't hold if we replace x with −x and/or y with −y). Let's work with non-negati… · Discussion

Discussing Let's assume x,y>0 (clearly, we can do this, since if what we want to prove doesn't hold, then it doesn't hold if we replace x with −x and/or y with −y). Let's work with non-negati… · 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.