|
|
A327824
|
|
Decimal expansion of the constant factor in the asymptotic for practical numbers (A005153).
|
|
0
|
|
|
|
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
|
|
|
FORMULA
|
Equals 1/(1 - exp(-gamma)) * Sum_{k practical} (1/k) * (Sum_{p prime, p<=sigma(k)+1} log(p)/(p-1) - log(k)) * Product_{p prime, p<=sigma(k)+1} (1-1/p), where gamma is Euler's constant (A001620) and sigma is the divisors sum function (A000203).
|
|
EXAMPLE
|
1.33607...
|
|
CROSSREFS
|
|
|
KEYWORD
|
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|