OFFSET
0,1
COMMENTS
If N(n) denotes the number of real roots of the n-th Bernoulli polynomial then lim_{n->infinity} N(n)/n = 2/(e*Pi).
LINKS
A. P. Veselov and J.P. Ward, On the real roots of the Bernoulli polynomials and the Hurwitz zeta-function, 1999
FORMULA
2/(Pi*e) = 0.23419932609727664276...
Equals 1/A019610. - Michel Marcus, Dec 07 2013
PROG
(PARI) 2/exp(1)/Pi \\ Charles R Greathouse IV, Jan 14 2017
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Benoit Cloitre, Jun 18 2004
STATUS
approved