Пусть $a_0, a_1, a_2,\cdots$ --- последовательность положительных действительных чисел, удовлетворяющая условию $a_{i-1}a_{i+1}\le a^2_i$ для $i = 1, 2, 3,\cdots .$ (Такая последовательность называется логарифмически вогнутой.) Покажите, что для всех $n > 1$ выполняется
$\frac{a_0+\cdots+a_n}{n+1}\cdot \frac{a_1+\cdots+a_{n-1}}{n-1}\ge \frac{a_0+\cdots+a_{n-1}}{n}\cdot \frac{a_1+\cdots+a_{n}}{n}.$