A lower bound on the number of rough numbers
arXiv:1705.04831
Abstract
Conceptually, a rough number is a positive integer with no small prime factors. Formally, for real numbers and , let denote the number of positive integers at most with no prime factors less than . In this paper we establish the lower bound when is prime and .
16 pages, appendix with 11 tables