Хорошо, специально для тебя.
Докажем, что при натуральных
x,
y,
z, где
x < z,
y < z,
z > 2 выполняется
x! + y! < z! .
Определим
n как
max(x, y) . Очевидно (или тоже объяснить?), что
x! <= n! и
y! <= n!, и при этом
n < z. Тогда
x! + y! <= n! + n! = 2n! .
Используя вышеприведённую
"лемму" (её тоже доказывать?), получаем, что
2n! < z! . Или, вернувшись к исходным обозначениям,
x! + y! < z! . ЧТД.
Примечание: доказательство невыполнимости исходного равенства для случая
x >= z и/или
y >= z я всё же рискну оставить на тебя. Или тоже?..