OFFSET
0,16
LINKS
Charles R Greathouse IV, Table of n, a(n) for n = 0..10000
FORMULA
a(n) = log n - log log n + O(1). - Charles R Greathouse IV, Dec 27 2013
MATHEMATICA
Table[Floor[ProductLog[n]], {n, 0, 100}]
PROG
(PARI) a(n)=lambertw(n)\1 \\ Charles R Greathouse IV, Dec 27 2013
CROSSREFS
KEYWORD
nonn
AUTHOR
José María Grau Ribas, May 17 2013
STATUS
approved