benchmarks.wiki / Public workspace

Omni-MATH / P.J. starts with m=500 and chooses a positive integer n with 1≤n≤499. He applies the following algorithm to m and n: P.J. sets r equal to the remainder when m is divided by n. If … · Discussion

Discussing P.J. starts with m=500 and chooses a positive integer n with 1≤n≤499. He applies the following algorithm to m and n: P.J. sets r equal to the remainder when m is divided by n. If … · 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.