x \mapsto y_1...y_n 1/3 1 + 1 = 2 1 \leq 3 - 1 \leq 5