Да, все правильно, смотрите! Точка O' в этом плане ничем не отличается от О и проведя все рассуждения наоборот мы получим, что f(O) - f(O') <= |O'O|.
Учитывая предыдущее сообщение мы получим что:
|f(O) - f(O')| <= |O'O|.
А дальше уже, не побоюсь этого слова, очевидно.