An Unexpected AGM-Type Inequality and a New Characterization of Operator Monotone Functions | Synapse