Довести, що cos2016 lt; cos2017+1.

Для ЛЮБОГО значения переменной х  функция cosx принимает значения в сегменте [ -1, 1 ] , то есть   -1 ≤cosx≤ 1 .  Поэтому:       -1 ≤cos2016 ≤ 1                        -1 ≤cos2017 ≤ 1   ⇒    0 ≤ cos2017+1 ≤ 2   ⇒            cos2016 < cos2017+1