x \mapsto y_1...y_n



1/3



1 + 1 = 2
1 \leq 3 - 1
\leq 5