OFFSET
1,2
COMMENTS
Pollack (2011) proved that the asymptotic density of numbers k such that gcd(k, sigma(k)) > (log(log(k)))^u for a real number u > 0 is equal to exp(-gamma) * Integral_{t=u..oo} rho(t) dt, where rho(t) is the Dickman-de Bruijn function and gamma is Euler's constant (A001620). For this sequence u = 1, and therefore its asymptotic density is 1 - exp(-gamma) = 0.43854... (A227242).
There are only 10 terms of A014567 in this sequence: 1, 2, 3, 4, 5, 7, 8, 9, 11, 13.
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Paul Pollack, On the greatest common divisor of a number and its sum of divisors, Michigan Math. J., Vol. 60, No. 1 (2011), pp. 199-214.
Wikipedia, Dickman function.
EXAMPLE
15 is a term since gcd(15, sigma(15)) = gcd(15, 24) = 3 > log(log(15)) = 0.996...
16 is not a term since gcd(16, sigma(16)) = gcd(16, 31) = 1 < log(log(16)) = 1.0197...
MATHEMATICA
Select[Range[100], GCD[#, DivisorSigma[1, #]] > Log[Log[#]] &]
PROG
(PARI) isok(k) = (k==1) || (gcd(k, sigma(k)) > log(log(k))); \\ Michel Marcus, Feb 20 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
Amiram Eldar, Feb 18 2021
STATUS
approved