%I#20 2023年11月19日21:16:31
%S 0,1,2,2,3,3,2,3,2,2,2,3,1,3,3,1,4,5,5,4,4,3,4,2,32,3,3,
%温度4,3,4,5,4,5,5,6,7,6,5,6,6,6,6,6,1,5,5,6,
%U 6,7,6,5,4,5,6,6,6,7,65,6,17,5,5,5,4,4
%N a(N)=A071838(质数(N))。
%对于2<=n<=10000,C a(n)为正,但推测无穷多项应为负。
%C第一个负项出现在a(732722)=-1_嘉宁松2019年11月8日
%C一般来说,假设黎曼假设的强形式,如果0<a,b<k是整数,gcd(a,k)=gcd(b,k)=1,a是二次剩余,b是二次非剩余模k,那么Pi(k,b)(n)>Pi(k,a)(n。Pi(a,b)(x)表示算术级数a*k+b中素数小于或等于x。这种现象称为“切比雪夫偏差”。(参见维基百科链接,尤其是A007350中的链接。)[由_Peter Munn_编辑,2023年11月19日]。
%C这里,虽然7不是模8的二次剩余,但对于大多数n,我们有Pi(8,5)(n)+Pi(8.7)(n)。
%H Andrew Granville和Greg Martin,<a href=“http://www.jstor.org/stable/27641834“>素数竞赛,美国数学月刊,113(2006年第1期),1-33。
%H维基百科,<a href=“https://en.wikipedia.org/wiki/Chebyshev%27s_bias“>切比雪夫的偏见</a>
%Fa(n)=-Sum_{i=1..n}克罗内克(素数(i),2)=-Sum_{素数p<=n}克罗内克(2,素数(i))=-Sum_{i=1..n}A091337(素数(i))。
%e素数(25)=97,Pi(8,1)(97)=5,Pi。
%o(PARI)a(n)=-和(i=1,n,kronecker(2,素数(i))
%Y参考A007350、A091337。
%设d为基本判别式。
%形式为“a(n)=-和{素数p<=n}Kronecker(d,p)”的Y序列,|d|<=12:A321860(d=-11),A320857(d=-8),A321859(d=-7),A066520(d=-4),A321856(d=-3),A331857(d=5),A071838(d=8),A323858(d=12)。
%形式为“a(n)=-Sum_{i=1..n}Kronecker(d,素数(i))”的Y序列,|d|<=12:A321865(d=-11),A320858(d=-8),A321864(d=-7),A038698(d=-4),A112632(d=-3),A321862(d=5),该序列(d=8),A3231863(d=12)。
%K符号
%氧1,3
%A _宋嘉宁_,2018年11月20日
%E由_Peter Munn_编辑,2023年11月19日
|