A lower bound on the number of rough numbers

J. Z. Schroeder

Conceptually, a rough number is a positive integer with no small prime factors. Formally, for real numbers $x$ and $y$, let $\Phi (x,y)$ denote the number of positive integers at most…