№ 14598

Пусть $a_1$, $\ldots$, $a_{25}$ — целые неотрицательные числа, а $k$ — наименьшее из них. Докажите, что \[ [\sqrt{a_1}\,]+[\sqrt{a_2}\,]+\ldots+[\sqrt{a_{25}}\,]\geqslant\left[\sqrt{a_1+\ldots+a_{25}+200k}\,\right]. \] (Как обычно, через $[x]$ обозначается целая часть числа $x$, то есть наибольшее целое число, не превосходящее $x$.)