Сколько целых решений имеет неравенство х^2-17 ≤0?

Решение во вложении, надеюсь разборчиво.

Заметим, что х² ≤17 принимают целые числа от 0 до 4, т.к. 4²=16, а 5² = 25
Тем самым имеем 0, 1, 2, 3, 4 и отрицательные корни -1, -2, -3, -4 ⇒9 целых решений