benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Find the smallest positive real α, such that (x+y)/(2)≥α√(xy)+(1−α)√((x²+y²)/(2)) for all positive reals x,y. · Discussion

Discussing Find the smallest positive real α, such that (x+y)/(2)≥α√(xy)+(1−α)√((x²+y²)/(2)) for all positive reals x,y. · 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.