OFFSET
10,1
COMMENTS
a(n) > 0 for large enough n, see Larsen link. Probably a(n) > 0 for all n >= 10.
LINKS
Daniel Larsen, Bertrand's Postulate for Carmichael Numbers, arXiv preprint (2021). arXiv:2111.06963 [math.NT]
FORMULA
a(n) ~ 2^n due to Larsen.
PROG
(PARI) a(n)=forsquarefree(t=2^(n-1), 2^n, my(f=t[2]); if(#f~>1 && f[1, 1]>2 && Korselt(t[1], f), return(t[1])))
CROSSREFS
KEYWORD
nonn
AUTHOR
Charles R Greathouse IV, Sep 01 2024
STATUS
approved