Нет, конечно. Пусть, скажем, для затравки
и
, тогда вроде всё хорошо. Теперь замените
на кусочно-постоянную функцию, запёртую между графиками
и
; монотонность её сохранится, стремление к нулю отношения -- тем более, а вот монотонное убывание этого отношения -- категорически нарушится на вертикальных скачках функции
. (Если от
требуется строгая монотонность, то ради бога -- достаточно лишь чуток перекосить каждую из её ступенек.) Правда, эта функция разрывна; ну так и что?... ведь если каждый её разрыв сгладить в достаточно малой своей окрестности, то в пределах этих окрестностей монотонность отношения так и будет нарушаться.