The treatment in Euclidean space features a number of proofs of the classical inequality in increasing generality, providing in the process a transition from the methods of classical differential ...