RU-ALLRUSSIAN 2018 Problem 93

Suppose that $a_1,\cdots , a_{25}$ are non-negative integers, and $k$ is the smallest of them. Prove that $$\big[\sqrt{a_1}\big]+\big[\sqrt{a_2}\big]+\cdots+\big[\sqrt{a_{25}}\big ]\geq\big[\sqrt{a_1+a_2+\cdots+a_{25}+200k}\big].$$ (As usual, $[x]$ denotes the integer part of the number $x$ , that is, the largest integer not exceeding $x$ .)