Description: Introduce a log weighting on the summands of sum_ m x. n <_ x , Lam ( m ) Lam ( n ) , the core of selberg2 (written here as sum_ n <_ x , Lam ( n ) psi ( x / n ) ). Equation 10.6.7 of Shapiro, p. 422. (Contributed by Mario Carneiro, 30-May-2016)
Ref | Expression | ||
---|---|---|---|
Assertion | selberg3 | |