x \mapsto y 1/3 1 + 1 = 2 1 \leq 3 - 1 \leq 5