OFFSET
1,2
COMMENTS
3 <= a(7) <= 7.
The constant c in the asymptotic function of the number of practical numbers up to x, P(x) = c*x/log(x) * (1 + O(log(log(x))/log(x))).
Margenstern evaluated it as 1.341.
Weingartner proved that 1.311 < c < 1.693 (2017), and 1.33607322 < c < 1.33607654 (2019).
LINKS
Maurice Margenstern, Les nombres pratiques: théorie, observations et conjectures, Journal of Number Theory 37 (1): 1-36, 1991.
Andreas Weingartner, Practical numbers and the distribution of divisors, Q. J. Math. 66 (2015), 743 - 758.
Andreas Weingartner, On the constant factor in several related asymptotic estimates, Mathematics of Computation, Vol. 88, No. 318 (2019), pp. 1883-1902. arXiv preprint, arXiv:1705.06349 [math.NT], 2017-2018.
Andreas Weingartner, The constant factor in the asymptotic for practical numbers, arXiv:1906.07819 [math.NT], 2019.
FORMULA
EXAMPLE
1.33607...
CROSSREFS
KEYWORD
AUTHOR
Amiram Eldar, Sep 26 2019
STATUS
approved