RTHK news screenshot

Theorem. The mean of two real numbers is less than or equal to the maximum of these numbers.
Proof. The proof is left as an exercise to RTHK journalists. ∎

(The article actually says “far less than”, but this is not reflected in the title.)