https://eric.ed.gov/?id=EJ1305272
ERIC - EJ1305272 - A Mechanically-Based Proof of the Arithmetic Mean Harmonic Mean Inequality,...
Many proofs of the arithmetic mean harmonic mean inequality have been proposed based on the rich connections between mathematics and physics. Sometimes the...