arxiv: v1 [math.nt] 2 Feb 2010

Transcription

1 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH arxiv: v [mathnt] 2 Feb 200 PIERRE DUSART Abstract Some computations made about the Riemann Hypothesis and in particular, the verification that zeroes of ζ belong on the critical line and the etension of zero-free region are useful to get better effective estimates of number theory classical functions which are closely linked to ζ zeroes like ψ),ϑ),π) or the k th prime number p k Introduction In many applications it is useful to have eplicit error bounds in the prime number theorem Rosser [8, 9] developed an analytic method which combines a numerical verification of the Riemann hypothesis with a zero-free region and derived eplicit estimates for some number theoretical functions The aim of this paper is to find sharper bounds for the Chebyshev s functions ψ), the logarithm of the least common multiple of all integers not eceeding, and ϑ), the product of all primes not eceeding : ϑ) = p lnp, ψ) = lnp p,α p α where sum runs over primes p and respectively over powers of primes p α The Prime Number Theorem could be written as follows: ψ) = +o), + An equivalent formulation of the above theorem should be: for all ε > 0, there eists 0 = 0 ε) such that or ψ) < ε for 0 ϑ) < ε for 0 Under Riemann HypothesisRH), Schoenfeld[23] gives interesting results Without the assumption of the RH, the results are not so accurate and depend on the knowledge about Riemann Zeta function This article hangs up on some known results: the most important works on effective results have been shown by Rosser & Schoenfeld [20, 2, 23], Robin [6] & Massias [2] and Costa Pereira [3] The proofs for estimates of ψ) in [2] are based on the verificationof Riemann hypothesis to a given height and an eplicit zero-free region for ζs) whose form is Date: January 24, Mathematics Subject Classification Primary N56; Secondary A25, N05 Key words and phrases Number Theory, arithmetic functions

2 2 PIERRE DUSART essentially that the classical one of De la vallée Poussin Rosser & Schoenfeld have shown that the first zeros of ζs) are on the critical strip Van de Lune et al [] have shown that the first zeros are on the critical strip Recently, Wedeniwski [24] then Gourdon [9] manage to compute zeros in a parallel way and prove that the Riemann Hypothesis is true at least for first 0 3 nontrivial zeros This will improve bounds [7] for ψ) and ϑ) for large values of We will prove the following results: ϑ) < for > 0, ϑ) 02 ln 2 for We apply these results on p k, the k th prime, and ϑp k ) Let s denote by ln 2 for lnln The asymptotic epansionof p k is well known; Cesaro [2] then Cipolla [3] epressed it in 902: p k = k { +ln 2 k + ln 2k 2 ln2 2 k 6ln 2k + 2ln 2 k +O ln2 ) )} 3 k A more precise work about this can be find in [7, 22] The results on p k are: p k k +ln 2 k + ln ) 2k 2 for k , p k k +ln 2 k + ln ) 2k 2 for k 3 We use the above results to prove that, for , the interval [,+/25ln 2 ) ] contains at least one prime Let s denote by π) the number of primes not greater than We show that + ) π) ) 599 > ln ln ln ln More precise results on π) are also shown: π) for 5393, ln π) for 6084, ln π) + ln ln + 2 ) ln 2 for 88783, π) + ln ln ) ln 2 for From the well-known identity 2) ψ) = 2 Eact computation of ϑ ϑ /k ), k=

3 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 3 we have ϑ) = ψ) ϑ /k ) From some eact values of ψ) computed by [5], we obtain Tables 6 & 62 Eact values of ϑ)) k=2 3 On the difference between ψ and ϑ As ϑ2 ) = 0, the summation 2) ends: ψ) = 3 Lower Bound ln ln2 k= ϑ /k ) = ϑ)+ϑ )+ Proposition 3 For 2, we have 3) < ψ) ϑ) ln ln 2 k=3 ϑ /k ) Proof By Theorem 24 of [20] p73, 3) is verified for Now by [3] p 2, ψ) ϑ) = ψ )+ k ϑ 2k+ ), hence By Theorem 9 of [20] p72, we have and we have for ep2b), ψ) ϑ) ψ )+ϑ /3 ) ϑ /3 ) > 3 2 /6 for 423) ) 3, ψ ) > ε b = εb ) where ε b can be find in Table 63 or Table p358 of [23]) We verify that 0000 ε b ) /6 > 0 for 0 6 e 50 by intervals we use b = 842, 20, 22) For y e 25, Table 63 gives ψy) y < y Hence we have by Th3 of [20], ϑy) y ψy) y + ϑy) ψy) < y+43 y < y For > e 50, we apply the previous result with y = to obtain ψ) ϑ) > ϑ ) 09999

4 4 PIERRE DUSART 32 Upper Bound Proposition 32 For > 0, Proof We use 32) and Proposition 5 Lemma 33 For > 0, we have ψ) ϑ) < ) ψ) ϑ) ϑ ) < /3 Proof For > 0, we have ϑ) < by [23] p360 Hence ln ln 2 k=3 ln ln2 ϑ /k ) < < k=3 /k /3 + < 2 /3 for > 0 ) 3 ) ln 4 ) /4 ln2 For small values, we have 32) by direct computation Maimal value reaches for =240) 4 Useful Bounds 4) 42) p k klnp k for k 4, lnp k +ln 2 k + for k 2 Proof We deduce 4) from π) > ln Corollary of [20]) By Theorem 3 of [20], we have p k < k +ln 2 k /2) hence p k < ek for k 2 5 On the differences between ϑ and identity function Proposition 5 ϑ) < for > 0 Proof By table 64, we have ϑ) < up to 8 0 With 3) and 8 0 e 28, ϑ) < ψ) < / e 28 ) < We conclude by computing ε Theorem 52 We have with and ϑ) < η k ln k for k k η k k k η k k

5 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 5 Proof We use the estimates of ψ) with Proposition 32 In particular, we can choose η 2 = 005 because / 0 +78/0 ) 2/3 ) 26 2 < We obtain Tables 64 & 65 step by step up to b = 5000 For each line, the value is valid between b i and b i+ Hence, by eample, η 2 = 442E 3 should be chosed for e 32 Using Theorem of [7], we have η k 8/π ln 0 )/R) /2 e ln 0)/R ln k 0 ) to obtain for 0 = ep5000), η 0 = E 2, η = , η 2 = , η 3 = , η 4 = Specials constants: for, η 0 < ϑ ))/ = 2 ϑ2 ))/2 = for 2, η < ϑ ))/ ln) for 2, η 2 < 59 ϑ59 ))/59 ln 2 59) for 2, η 3 < 423 ϑ423 ))/423 ln 3 423) Some applications on number theory functions 6 Estimates of primes 6 Estimates of ϑp k ) We have an asymptotic development of ϑp k ): ϑp k ) = Li k)+ok /2 ln 3/2 k) whose the first terms by [3] are ϑp k ) = k +ln 2 k + ln 2k 2 ln2 2k 6ln 2 k + ln 3 )) 2ln k k ln 3 k Remark 6 We have 6) ϑp k ) k by Th Bv) of [2] +ln 2 k + ln ) 2k 2 Proposition 62 ϑp k ) k +ln 2 k + ln ) 2k ϑp k ) k +ln 2 k + ln ) 2k 204 Proof Let f β defined by n n lnn+ln 2 n + ln ) 2n β lnn for k 98 for p k 0 for p k 0 5

6 6 PIERRE DUSART We want to prove that ϑp n ) f β n) Define h a by h a n) := nlnn+ln 2 n a) Suppose there eist a such that p k h a k) for k k 0 Hence We have f β lnh a if 62) ϑp k ) ϑp k0 ) = ln 2 n β + lnn We can rewrite 62) as k n=k 0+ ln 2n β ln 2 n 63) β /) +ln 2 k ln lnp n k n=k 0+ lnh a n) ln + ln ) 2n a lnn + ln ) 2k a ln 2k Fora [095,]andt 22,thefunctiont lnt tln ) + lnt a t lnt t )/ /t) is decreasing By [6], we can choose a = a 0 = For k e 00, the value β = 2048 satisfies 63) For π0 ) k e 00, the value β 0 = 2094 satisfies 63) Hence ϑp k ) k +ln 2 k + ln ) 2k β 0 k Then p k ϑp k ) η 2 by 52) & 4), hence p k h a k) with a = ln 2 k β 0+η 2) Splitting the interval of k, we use different values of a with adapted values of η 2 By itering the process, we obtain β = for k k 0 = π0 ) This value of β verifies ϑp k0 ) f β k 0 ) By same way, we obtain β = 2038 for k 0 5 Proposition 63 For k 78, ϑp k ) k +ln 2 k + ln 2k ) ln 2 k Proof Use Lemma 65 and Lemma 64 Lemma 64 Let two integers k 0,k and γ > 0 real Suppose that for k 0 n k, p n n lnn+ln 2 n + ln ) 2n 95 lnn Let sk) = k ln2 k 2 +ln 2 k + γ ln k) Let fk) = 2 sk) +ln2 k+) If ϑp k0 ) fk 0 ) then ϑp k ) sk) for all k k 0 Proof Let S a n) be an upper bound for p n for k 0 n k where S a n) = n lnn+ln 2 n + ln ) 2n a lnn Now, for 2 k 0 k, we write ϑp k ) ϑp k0 ) = k n=k 0 lnp n We need to prove that lns a n) f n) k n=k 0 lns a n) k k 0 lns a n)dn

7 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 7 We have with un) = lns a n) = lnn+ln 2 n+ln+un)) ln2 n ln2 n a lnn + ln 2 n and f n) = lnn+ln 2 n+ ln 2n lnn ln 2n+γ 3 ln 2 n + 2γ ln 3 n n +/lnn) Let β < /2 such that ln+un)) un) βu 2 n) for n k 0 Then lns a n) f n) if ln2 n β + ln ) 2 2n a lnn ln 2 2ln 2n+γ 3 a n ln 2 +2γ/ln 3 n /n /nlnn) 0, n that we can simplify in where A ln 2 n +2 B ln 3 n +βln2 2 n 2aln 2n+a 2 ln 4 /n /nlnn) 0 n A = βln 2 2 n 2β +)ln 2n+3+a+β γ B = βln 2 2n βa+)ln 2 n+aβ +γ We have /n+/nlnn) 002/ln 3 n for n 0 5 We study each parts, denoting ln 2 n by X: βx 2 2β +)X +3+a+β γ 0 for all X if γ a +/β 0, X 2 a+)x+a+γ/β+002) 0forallX ifa 2 2a+ 4γ/β+002) 0, X 2 2aX +a 2 = X a) 2 0 We chooseγ suchthat γ a +/β = 0 We chooseβ = uk0) ln+uk0)) u 2 k 0) With a = 95 and k 0 = 78974, we have β = and γ = Hence ϑp k ) fk) ϑp k0 ) fk 0 ) As ϑp k0 ) fk 0 ), we have ϑp k ) fk) 0 We obtain the upper bound ϑp k ) = ϑp k ) + lnp k fk)+lnp k < sk) by 42) 62 Estimates of p k Lemma 65 For k 78974, p k k +ln 2 k + ln ) 2k 95 Proof Substituing by p k in ϑ) η 2, we obtain ln 2 By 4), we have p k ln 2 p k k and p k ϑp k ) η 2 p k ln 2 p k k 64) p k ϑp k ) η 2 Using the upper bound 6) of ϑp k ), we have p k k We use η 2 = 005 for 0 +ln 2 k + ln 2k 2+η 2 )

8 8 PIERRE DUSART Proposition 66 For k , p k k +ln 2 k + ln ) 2k 2 Proof Use Proposition 63 with η 3 = 078 of Theorem 52 for lnp k > 27 A computer verification concludes the proof Proposition 67 For k 3, p k k +ln 2 k + ln ) 2k 2 Proof Using 64), we have p k ϑp k ) η 2 k By Proposition 62 and η 2 = 00493, we conclude the proof 63 Smallest Interval containing primes We already know the result of Schoenfeld [23] showing that, for , the interval ], + /6597[ contains at least one prime We improve this result with the following proposition You can see also [4] Proposition 68 For all , there eists a prime p such that ) < p + 25ln 2 This result is better that Rosser & Schoenfeld s one for e 2577 The method used in [4] gives better results if we compare with the same order of k, ie k = 0) Proof Let 0 < f) < for 0 ) ϑ f) ϑ) f) η f) k ln k f) > ) 2η f) k Choose f) = 2η k ln k hence ϑ 2η k ln k ) ϑ) > 0 ) +η k f) ) ln k ln k For k = 2, we have n 2 = 0095 and /ln 2 +/25ln2 ) for ln 28 According to [23] p 355, p n+ p n 652 for p n , ) hence the result is also valid from

9 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 9 62 Estimates of function π Remember that π) = + ln ln + 2 )) ln 2 +O ln 3 Theorem 69 65) + ) π) ) ln ln ln ln 599 > the value 2762 is chosen for = p 258 = 627) 66) 67) π) ln ln ln ln + 2 ) ln π) + ln ln ln ) Proof We consider the last inequality Let 0 = 0, K = π 0 ) ϑ 0) ln 0 Write J;η k ) = K + ln +η k ln k+ + 0 ln 2 y + η ) k ln k+2 dy y Since π) = π 0 ) ϑ 0) + ϑ) ln 0 ln + ϑy)dy 0 yln 2 y and ϑ) η k ln k for 0, we have, for 0, J; η k ) π) J;η k ) Write M;c) = ln + ln + c ln ) for upper bound s function for π) Let s 2 write the derivatives of J;a) and of M;c) with respect to : J ;a) = ln + η k ln k+ k η k ln k+2, M ;c) = ln + c 2 ln 3 3c ln 4 For k = 2, we must choose c 2+η 2 2η 2 /ln 0 )/ 3/ln 0 ) to have J < M for 0 With η 2 = 005, we choose c = 232 We verify by computer that J0 ;005) < M0 ;2334) By direct computation for small values of to obtain π) < + ln ln ) ln 2 for Now write m;d) = + ln ln + d ) ln 2

10 0 PIERRE DUSART We study the derivatives: we choose k = 3, d = 2 and η 3 3/ln) < 6 to have J > m As m 0 ;2) < J 0 ; 6) and by direct computation for small values, we obtain π) > + ln ln + 2 ) ln 2 for The others inequalities follows: 67) 66) 65) for large 63 Estimates of sums over primes Let γ be Euler s constantγ ) Theorem 60 Let B = γ + p ln /p)+/p) For >, ) 0ln ln 3 p ln 2 B p For 0372, p p ln 2 B Proof By 420) of [20], p = ln 2+B + ϑ) ln Hence p p 0ln ln 3 p ln 2 B ϑ) + ln As ϑ) η k /ln k Theorem 52) and we have the result 68) ϑy) y)+lny) y 2 ln 2 dy y ϑy) y +lny) y 2 ln 2 dy y +lny yln k+2 y dy = kln k + k +)ln k+, p ln 2 B η k/k ln k + η k+ ln k+ p k+ ) For k = 2 and η 2 = 02, the result is valid for We conclude by computer s check Theorem 6 Let E = γ n=2 p lnp)/pn For >, 02 ln + 02 ) ln 2 lnp p ln E p For 2974, p p lnp p ln E 02 ln + 02 ln 2 Proof By 42) of [20], lnp ϑ) = ln+e + p ϑy) y y 2 dy

11 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH Hence lnp p ln E ϑ) + ϑy) y y 2 dy p As dy yln k y = k )ln k, Theorem 52 yields the result for with k = 2 We conclude by computer s check 64 Estimates of products over primes Theorem 62 For >, and for 2973, For >, and for 2973, p ) < e γ + 02 ) p ln ln 2 e γ 02 ) ln ln 2 < ) p p e γ ln 02 ) ln 2 < p p p p p p < eγ ln + 02 ) ln 2 Proof By definition of B and 68), we have γ ln 2 p ln /p) η k/k p> p ln k + η k+ ln k+ Let S = p> ln /p)+/p) = n=2 n p> p We have n γ ln 2 p Take the eponential of both sides to obtain ) e γ p ln ep p k+ ) ln /p) S η k kln k k +2)η k k +)ln k+ We use lower bound for S given in [20] p 87: 02 S < )ln S + η k kln k + k +2)η k k +)ln k+ Hence, for k = 2, η 2 = 02 and , ) e γ p ln ep0/ln2 ) We have also p p p p e γ lnep 0/ln 2 ) )

12 2 PIERRE DUSART In the same way, as γ ln 2 p ln /p) S η k kln k + k +2)η k k +)ln k+, we obtain the others inequalities since S 0 Table 6 Values of ϑ) for ϑ) ψ) ϑ) E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E

13 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 3 References [] R P Brent, Irregularities in the Distribution of Primes and Twin Primes, Math Of Computation, Vol 29, Number 29 January 975) pp [2] E Cesaro, Sur une formule empirique de M Pervouchine, Comptes rendus hebdo des séances de l académie des sciences, Vol CXIX, 895) pp [3] M Cipolla, La determinazione assintotica dell n imo numero primo, Matematiche Napoli, Vol 3, 902) pp [4] M Deléglise & J Rivat Computing π): The Meissel, Lehmer, Lagarias, Miller, Odlyzko method Math Of Computation, Vol 65, Number 23 January 996), pp [5] M Deléglise & J Rivat Computing ψ), Math Of Computation, Vol 67, Number 224 October 998), pp [6] P Dusart, The k th prime is greater than k + ln ) for k 2, Math Of Computation, Vol 68, Number 225 January 999), pp 4-45 [7] P Dusart, Estimates of ψ, ϑ for large values of without RH, submitted [8] W J Ellison, Les nombres premiers, Publications de l institut de Mathématique de l université de Nancago, IX, Hermann 975) [9] X Gourdon, The 0 3 first zeros of the Riemann Zeta function, and zeros computation at very large height, 2004, Miscellaneous/zetazerose3-e24pdf [0] H Kadiri, Une région eplicite sans zéro pour la fonction Zeta de Riemann, 2004), [] J van de Lune, H J J te Riele & DT Winter, On the Zeros of the Riemann Zeta Function in the Critical StripIV, Math Of Computation, Vol 46, Number 74 April 986) pp [2] Jean-Pierre Massias & Guy Robin, Bornes effectives pour certaines fonctions concernant les nombres premiers, Journal Th Nombres de Bordeau, Vol 8 996) pp [3] N Costa Pereira, Estimates for the Chebyshev Function ψ) ϑ), Math Of Computation, Vol 44, Number 69 January 985) pp 2-22 [4] O Ramaré & Y Saouter, Short effective intervals containing primes, Journal of Number Theory, vol ) pp 0-33 [5] Hans Riesel, Prime Numbers and Computer Methods for Factorization, Birkhäuser 985) [6] Guy Robin, Estimation de la fonction de Tchebycheff ϑ sur le k ième nombre premier et grandes valeurs de la fonctions ωn), nombre de diviseurs premiers de n, Acta Arithmetica, vol 42, numéro 4 983) pp [7] Guy Robin, Permanence de relations de récurrence dans certains développements asymptotiques, Publications de l institut mathématique, tome 43 57), 988) pp 7-25 [8] Barkley Rosser, The n-th prime is greater than nlogn, PLMS ) pp 2-44 [9] Barkley Rosser, Eplicit bounds for some functions of prime numbers, Amer J Math 63 94) pp [20] J Barkley Rosser & L Schoenfeld, Approimates Formulas for Some Functions of Prime Numbers, Illinois Journal Math 6 962) pp [2] J Barkley Rosser & L Schoenfeld, A Sharper Bounds for the Chebyshev Functions ϑ) and ψ), Math Of Computation, Vol 29, Number 29 January 975) pp [22] Bruno Salvy, Fast computation of some asymptotic functional inverses, Preliminary Version, July 992) [23] Lowell Schoenfeld, Sharper Bounds for the Chebyshev Functions ϑ) and ψ)ii, Math Of Computation, Vol 30, Number 34 April 976) pp [24] Wedeniwski, XLIM UMR 672, Faculté des Sciences et Techniques, Université de Limoges, 87060, FRANCE Current address: Département de Mathématiques, 23 avenue Albert THOMAS, LIMO- GES CEDEX, FRANCE address: pierredusart@unilimfr

14 4 PIERRE DUSART Table 62 Values of ϑ) for ϑ) ψ) ϑ) E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E

15 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 5 Table 63 Values of ǫ) for ψ and ϑ b ǫ ψ ǫ ϑ b ǫ ψ ǫ ϑ E E E 2903E E E E 2838E E 4 288E E 2772E E 4 897E E 2706E 24 83E 4 247E E 264E E 5 872E E 2575E ln0 ) 6788E 5 72E E 235E 26 52E E E 253E E E E 99E E E E 67E 29 45E 5 502E E 544E E E E 355E E E E 69E E E E 047E E 6 264E E E E 6 682E E E 2 ln0 5 ) 293E 6 325E E E E 6 080E E E E E E E E 7 444E E E E E E 2 635E E 7 839E E E E 7 84E E 2 582E E E E E E E E E E E E E E 8 960E E 2 475E E 8 25E E E E 9 794E E 2 423E E E E 2 398E E E E E E 9 206E E E E 9 35E E E E 0 492E E E E 3926E E 2 774E E 2929E E E E 2920E E 8 634E 8

16 6 PIERRE DUSART Table 64 Values of η k valid for epb i ) epb i+ ) b i η η 2 η 3 η E 2 294E 68E+0 285E E 3 22E 4645E+0 022E E 3 524E 3505E+0 806E E 3 093E 2623E E E E 2 948E E E E 2 328E E+ ln0 ) 849E E 2 250E E E E 2 054E E E E E 256E E 4 94E E 633E E 4 352E E 26E E E E 8980E E E E 6592E E 4 448E 3 458E 48E E E 3 028E 3493E E E E E+0 ln0 5 ) 4637E 5 623E E 2 988E E 5 400E E 2 84E E E E 2 299E E 5 642E E E 38 2E E 4 690E 2 659E E E 4 77E E E 6 990E 4 857E E 4 367E 6 330E E E E E 5 385E 3 64E E 6 598E E 3 46E E E 5 786E E E E 5 28E E E 7 755E E E E 7 73E E 4 270E E E E 4 86E E 7 55E E 4 288E E E 6 287E 4 203E E 9 537E E 5 934E E 9 924E 7 347E E E 9 648E 7 236E E E E E E 3

17 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 7 Table 65 Values of η k continued) b i η η 2 η 3 η E 9 6E E E E E 6 766E E E E 6 774E E E E E 3 692E E E E E E E E E E 8 366E E E E E E 2 090E E E 5 593E 385E E E 5 779E 393E E E 5 242E 6029E E 8 063E E 8328E E 8 053E 4 357E 9469E E 8 073E 4 343E 098E E 8 00E 4 333E 099E E 8 00E E 57E E E E 52E E E E 63E E E E 258E E E 5 35E 299E E 8 893E E 256E E E E 268E E E E 279E E 8 846E E 280E E E 5 324E 28E E E 5 399E 280E E E 5 356E 279E E E E 27E E E E 255E E E E 239E E E E 28E E E 5 288E 240E E E E 67E E 8 540E E 94E E E 5 227E 09E +3

18 8 PIERRE DUSART Table 66 Values for ϑ) a 0 b 0 a b a 2 b 2 E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E where the constants satisfy for n 0 k n+) 0 k a 0 ϑ) b 0 a ln ϑ) +b ln a 2 ϑ) +b ln 2 2 ln 2 up to 8 0

19 ESTIMATES OF SOME FUNCTIONS OVER PRIMES WITHOUT RH 9 Table 67 Values for p k and ϑp k ) a 8 b 8 a 3 b 3 a 4 b 4 E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E where the constants satisfy for n 0 m p k n+) 0 m k ) ln2 k a8 +ln 2 k + ϑp k ) k +ln 2 k + k +ln 2 k a 3 p k k +ln 2 k b 3 ) k ) +ln 2 k + p k k +ln 2 k + ln2 k a4 up to 8 0 ) ln2 k b8 ln2 k b4 )

20 20 PIERRE DUSART Table 68 Values for π) a 5 b 5 a 6 b 6 a 7 b 7 E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E E where the constants satisfy for n 0 k n+) 0 k ln ln + a 5 ) ln) + < π) ln π) ln ln a 7 π) ln b 7 up to 8 0 ln + a6 ln 2 + b 5 ) ln + ln + b6 ln 2 )