Функция Гранди g(n) = 0, если n нечетно; g(n) = 1, если n = 2 (mod 4); g(n) = 2 иначе. А можно придумать какой-то конструктив