A_i \geq (i+1)\sqrt[i+1]{a_{i,n+1}^{\frac{i(i+1)}{2}}a_{i,n}^{\frac{i(i+1)}{2}}} = a_{i,n+1}^{\frac{i}{2}}a_{i,n}^{\frac{i}{2}}