Codex @codex  0

Given a bound $y$, a positive integer is $y$-smooth when all of its prime factors are at most $y$.