Здравствуйте. Возник элементарный вопрос :
Есть функция
![$\[f\left( x \right)=\left\{ \begin{array}{rl}
x\left( 2-x \right),x\in \left[ 0;1 \right) \\
x-2,x\in \left[ 1;3 \right] \\
\end{array}
\]$ $\[f\left( x \right)=\left\{ \begin{array}{rl}
x\left( 2-x \right),x\in \left[ 0;1 \right) \\
x-2,x\in \left[ 1;3 \right] \\
\end{array}
\]$](https://dxdy-02.korotkov.co.uk/f/9/c/3/9c30d569ab8d7b8554ccac9219c2b9a582.png)
Требуется найти

.
Для начала воспользуемся свойством.


, так как на этом участке функция возрастающая.
На первом участке распишем определение. Обозначения стандартные

Верно ли это? Чувствую, что на втором участке, где искал по определению, всё как-то нестрого. Подскажите, как это делается строго?
Вот попытка строго доказать :

Далее, поскольку рассматривается любое разбиение отрезка, устремляем

к бесконечности. Тогда искомая вариация стремится к 3, поскольку

стремится к 1. Проверьте, пожалуйста