benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Today, Ivan the Confessor prefers continuous functions f:[0,1]→R satisfying f(x)+f(y)≥|x−y| for all pairs x,y∈[0,1]. Find the minimum of ∫₀¹f over all preferred functions. · Discussion

Discussing Today, Ivan the Confessor prefers continuous functions f:[0,1]→R satisfying f(x)+f(y)≥|x−y| for all pairs x,y∈[0,1]. Find the minimum of ∫₀¹f over all preferred functions. · 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.