Критерий интегрируемости в терминах равномерных разбиений

Пусть отрезок \([a, b]\) разбит на \(n\) равных отрезков. Обозначим соответствующее разбиение через \(T_{n}\). Тогда:

\[ f \text { интегрируема } \Leftrightarrow \lim_{n \to \infty} (S(T_n) - s(T_n)) = 0 \]