For two positive numbers $a$ and $b$ with arithmetic mean $A$ and geometric mean $G$, which statement is always true?