krash, из

.
В достаточно малой окрестности

функция будет иметь знак

и можно преобразовать

к виду

. (Если

и

больше 0, то «навешивание» модулей очевидно ничего не меняет, а если оба отрицательны, то после умножения

и

на

они станут положительными [Если отрицательны, то

]. Конечно, не для всякой окрестности

, в которой выполняется

при некотором выборе

, но дальше по самому доказательству в этой книге это и не нужно.)
Вроде очевидно. Или я что-то не вижу?