Автор - torpedad
Видимо, требуется доказать, что , для, скажем,
; Пусть верно, что
для некоторого k (существование такого k уже доказано базой индукции), покажем, что верно и
; Распишем:
, а последнее неравенство верно для всех
, что меньше 4. Переход осуществлен.