Очень наглядно, сразу получается доказательство(которое совсем не наглядное) Спасибо, что обратили внимание на этот интересный факт.
- наличие точек в которых

: это или концы отрезка
![$[0;1]$ $[0;1]$](https://dxdy-03.korotkov.co.uk/f/2/1/a/21ad730ee7df0b97abd700cb0f8426e682.png)
или

меняет знак на
![$[0;1]$ $[0;1]$](https://dxdy-03.korotkov.co.uk/f/2/1/a/21ad730ee7df0b97abd700cb0f8426e682.png)
и непрерывна.
- процесс итерирования дает возрастающую/убывающую последовательность, если

/

верно для всех элементов последовательности
- условие

/

выполняется, потому что функция возрастает

/

-

(аналогично первому утверждению)
-
