Рис. 3: Графики функций φ(t) (красный) и φ(1/t) (синий) и определение точек t1 и t2 (зеленая прямая — на уровне 1/ln a).

Проверку условий (9) проведем в два этапа: сначала докажем выполнение усиленного варианта второго из условий (9), а затем увидим, что первое условие (9) следует отсюда уже автоматически.

Поскольку точки t₁ и t₂ определяются как точки пересечения графика функции φ(t) с горизонтальной прямой на высоте 1/ln a, функция φ(t) имеет единственный minimum в точке t_min = —1, то ясно, что t₁ < —1 < t₂.