A mechanically-based proof of the arithmetic mean harmonic mean inequality | Publicación