This inequality was proposed by Erdos (1935), and solved by ¨
Mordell and Barrow (1937) two years later. Elementary proofs
were subsequently found by Kazarinoff in 1945 (Kazarinoff
1962, p. 78) and Bankoff (1958).
Oppenheim (1961) and Mordell (1962) also showed t