cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A218245 Nicolas's sequence, whose nonnegativity is equivalent to the Riemann hypothesis.

This page as a plain text file.
%I A218245 #20 Dec 07 2015 22:40:32
%S A218245 2,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
%T A218245 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
%U A218245 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
%N A218245 Nicolas's sequence, whose nonnegativity is equivalent to the Riemann hypothesis.
%C A218245 a(n) = floor(p(n)#/phi(p(n)#) - log(log(p(n)#))*exp(gamma)), where p(n)# is the n-th primorial, phi is Euler's totient function, and gamma is Euler's constant.
%C A218245 J.-L. Nicolas proved that all terms are >= 0 if and only if the Riemann hypothesis (RH) is true. In fact, results in his 2012 paper imply that RH is equivalent to a(n) = 0 for n > 6. Nicolas's refinement of this result is in A233825.
%C A218245 He also proved that if RH is false, then infinitely many terms are >= 0 and infinitely many terms are < 0.
%C A218245 See Nicolas's sequence A216868 for references, links, and additional cross-refs.
%F A218245 a(n) = [p(n)#/phi(p(n)#) - log(log(p(n)#))*exp(gamma)].
%F A218245 a(n) = [A002110(n)/A005867(n) - log(log(A002110(n)))*e^gamma].
%e A218245 p(2)# = 2*3 = 6 and phi(6) = 2, so a(2) = [6/2 - log(log(6))*e^gamma] = [3-0.58319...*1.78107...] = [3-1.038...] = 1.
%t A218245 primorial[n_] := Product[Prime[k], {k, n}]; Table[ With[{p = primorial[n]}, Floor[N[p/EulerPhi[p] - Log[Log[p]]*Exp[EulerGamma]]]], {n, 1, 100}]
%Y A218245 Cf. A216868, A233825.
%K A218245 nonn
%O A218245 1,1
%A A218245 _Jonathan Sondow_, Oct 24 2012