Eqs. (28)–(29) — min over 0 ≤ x ≤ y ≤ 1 of max{2y, 3x+1, (4+x+y)/3}/(2+y+x) is at least 0.55

Initializing...

Eqs. (28)–(29) — min over 0 ≤ x ≤ y ≤ 1 of max{2y, 3x+1, (4+x+y)/3}/(2+y+x) is at least 0.55 · Prove2Me