Dado: (i) $a$ , $b > 0$ ; (ii) $a$ , $A_1$ , $A_2$ , $b$ es una progresión aritmética; (iii) $a$ , $G_1$ , $G_2$ , $b$ es una progresión geométrica. Demuestra que \[A_1 A_2 \ge G_1 G_2.\]