ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P2494 on R3544: Endpoint bounds for real arithmetic mean
P2494
This result is a particular case of R3545: Endpoint bounds for real convex combination. $\square$