Докажите, что среди любых 20 последовательных натуральных чисел существует натуральное число такое, что для каждого натурального имеет место неравенство , где — целая часть действительного числа , т.е. наибольшее целое число, не превосходящее , а — дробная часть действительного числа , т.е. .