$y$'nin yeterince büyük olması için $x$'in yeterince küçük olması lâzım. Sorudan $0\not\in \mathbb N$ olduğu hissediliyor (Yâni, $x,y\in \mathbb N^*$). Yok böyle değilse, $y=5!=120$ Yoksa, $x=1$ alırsak, $y=40$ olur. Böyle şeyler...