Существует натуральное число меньше