Paragraph

For every integer \(x\) and every integer \(y\) there is an integer \(n\) such that if \(x > 0\) then \(nx > y\text{.}\)