Let $x_1, x_2, \dots, x_n$ be $n$ positive distinct real numbers. Let $A$ be their arithmetic mean, $G$ be their geometric mean, and $H$ be their harmonic mean. Which of the following relationships must hold?