OFFSET
1,1
COMMENTS
LINKS
Clark Kimberling, Table of n, a(n) for n = 1..10000
FORMULA
a(n) ~ Pi*n by the equidistribution theorem. - Charles R Greathouse IV, Oct 09 2016
MATHEMATICA
PROG
(PARI) is(n)=frac(n/2/Pi) > 1-1/Pi \\ Charles R Greathouse IV, Oct 09 2016
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Clark Kimberling, Oct 01 2016
STATUS
approved