benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / [i]Version 1[/i]. Let n be a positive integer, and set N=2^(n). Determine the smallest real number a_(n) such that, for all real x, root[N]((x^(2N)+1)/(2))≤a_(n)(x−1)²+x. [i]Versio… · Discussion

Discussing [i]Version 1[/i]. Let n be a positive integer, and set N=2^(n). Determine the smallest real number a_(n) such that, for all real x, root[N]((x^(2N)+1)/(2))≤a_(n)(x−1)²+x. [i]Versio… · 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.