Пусть:
1)

2)

Тогда:
Существует такое число

зависящее только от

, что если

, то уравнение

имеет по крайней мере

корень.
Задача: доказать это.
Будем считать доказанным следующие факты:
1)Пусть

, где

— промежуток содержащийся в

Пусть

разбили на три последовательных промежутка

и

длина

, тогда выполняется:
2) если

имеет длину

, то:

Зорич даёт указание: используйте факт 1) и по индукции докажите, что существует такая последовательность

интервала

что
Я смог доказать лишь базу индукции, при
доказательство:1)Предположим, что функция

не имеет нулей при любом

, для определённости предположим, что

, т.е. функция

— выпуклая.
2)По свойствам выпуклых функций,

сперва убывает на интервале

а затем возрастает на интервале

, где a — это такая точка, что

. Для определённости предположим, что

. Ограничим функцию

до интервала

. Т.е. теперь функция

— возрастающая.
3) Пусть

. По теореме Лагранжа

(неравенство следует из выпуклости, т.е. возрастания производной).
4) Выберем

вспомним, что

и окончательно получим

5) Из неравенства выше следует, что

но это протеворечит тому, что

.
Полученное противоречие завершает доказательство.
Но как проталкивать индукцию и использовать то неравенство, на которое указывает Зорич, ума не приложу; если кто-то даст какие-то наводящие соображения — буду благодарен.