Numerically explicit estimates for the distribution of rough numbers

Kai Fan
DOI: https://doi.org/10.1016/j.jnt.2024.01.008
IF: 0.679
2024-02-01
Journal of Number Theory
Abstract:For x ≥ y > 1 and u : = log ⁡ x / log ⁡ y , let Φ ( x , y ) denote the number of positive integers up to x free of prime divisors less than or equal to y. In 1950 de Bruijn [4] studied the approximation of Φ ( x , y ) by the quantity μ y ( u ) e γ x log ⁡ y ∏ p ≤ y ( 1 − 1 p ) , where γ = 0.5772156 . . . is Euler's constant and μ y ( u ) : = ∫ 1 u y t − u ω ( t ) d t . He showed that the asymptotic formula Φ ( x , y ) = μ y ( u ) e γ x log ⁡ y ∏ p ≤ y ( 1 − 1 p ) + O ( x R ( y ) log ⁡ y ) holds uniformly for all x ≥ y ≥ 2 , where R ( y ) is a positive decreasing function related to the error estimates in the Prime Number Theorem. In this paper we obtain numerically explicit versions of de Bruijn's result.
mathematics
What problem does this paper attempt to address?