Arithmetic mean vs geometric mean (proof without word)