K = { x принадлежит Z / x^2 - 4x + 4 ≤ 0 }

Это неравенство можно решить путем факторизации квадратного трехчлена:

x^2 - 4x + 4 = (x - 2)^2

Теперь стало понятно, что данное неравенство равносильно:

(x - 2)^2 ≤ 0

Поскольку квадрат любого числа не может быть отрицательным, то (x - 2)^2 равно 0 только при x = 2.

Следовательно, множество K содержит только одно значение: K = {2}.