|f(x) - f(y)| < |x - y|
|x + 1/x - y - 1/y| < |x - y|
|(x - y)·(x·y - 1)/(x·y)| < |x - y|
(x - y)^2·(x·y - 1)^2 / (x·y)^2 < (x - y)^2
(x·y - 1)^2 / (x·y)^2 < 1
(x·y - 1)^2 < (x·y)^2
(x·y)^2 - 2·x·y + 1 < (x·y)^2
- 2·x·y + 1 < 0
2·x·y > 1
Wenn x und y >= 1 sind ist das doch aber immer erfüllt.