k + 24 < k + 25
k
k + 24 - k < k + 25 - k
24 < 25
Ответ: Неравенство 24 < 25 истинно, что доказывает истинность исходного высказывания.