![Arxiv:1207.7059V7 [Math.NT] 31 Oct 2013 Titydcesn,Adtesqec ( Sequence the and Decreasing, Strictly E Hsw Netgt H Function the Investigate We This See Increasing](http://data.docslib.org/img/bfcc5ea1789983e17777a0ab6b364456-1.webp)
arXiv:1207.7059v7 [math.NT] 31 Oct 2013 titydcesn,adtesqec ( sequence the and decreasing, strictly e hsw netgt h function the investigate we this see increasing. conjecture p ( sequence the i.e., Then ul ut ah o.8(03,n.2 197–205. 2, no. 88(2013), Soc. Math. Aust. Bull. 18,1J9 11P83. 11J99, 11B83, As h ADo ins ihrEuainInstitutions. Education Higher Jiangsu of PAPD the iozah ojcue(f R .15)asrsthat asserts 185]) p. [R, (cf. conjecture Firoozbakht n +1 o e slo tasml xml o eae oprimes. to related not example simple a at Example look us let Now 2010 For Keywords upre yteNtoa aua cec onain(rn 11 (grant Foundation Science Natural National the by Supported f ′ − ( anyso httesequence the that show mainly Abstract. eas omlt iia ojcue novn wnpie or primes twin involving conjectures tegers. similar formulate also We n,admroe h sequence the moreover and ing, P x NASQEC NOVN USO PRIMES OF SUMS INVOLVING SEQUENCE A ON p ahmtc ujc Classification Subject Mathematics n n (1 = ) n p < ∈ < p rms uso rms oooiiy wnpie,partitions primes, twin monotonicity, primes, of sums Primes, . n log ..Let 1.1. Z n n +1 +1 + − eateto ahmtc,NnigUniversity Nanjing Mathematics, of Department 2 − log For p = n hence and ajn 103 epesRpbi fChina of Republic People’s 210093, Nanjing n p − n √ n x { n f 1 ) log = p http://math.nju.edu.cn/ /x , ′′ a 1 = n √ 2 n ( n O ) x , 2 p n p 3 (log = ) , n > = n < 2 . . . , 1frlarge for +1 1 P , > 3 ,w have we 0, n ssrcl eraig hsipisteinequality the implies This decreasing. strictly is √ n . . . , 2 n log 2 .Introduction 1. [email protected] +1 } p n n a n +1 h-e Sun Zhi-Wei √ let n .Let ). a P < for x let n = x p 3 +1 n − p rmr 14;Scnay0A7 52,11B75, 05A20, 05A17, Secondary 11A41; Primary . S f +1 p n n n /a n n n ( +1 3 1 x S n n a P f ∈ etesmo h first the of sum the be eoethe denote n log( = ) n > hc see togrta Cram´er’s than stronger even is which , otesqec ( sequence the So . ( n ( /n o all for +1 n n Z etepouto h first the of product the be for 0 ) 10 = + ( /a n f > hntesqec ( sequence the Then . 1 = n , ) n x 11 ( n ∼ n , 1 > x ∈ 2 . . . , /x zwsun 4 )for 1) + , n > 3 Z (log = ) . . . , hpie h unsolved The prime. th ssrcl nraig To increasing. strictly is + ssrcl increasing. strictly is ) 4 , . 5 ssrcl decreas- strictly is ) , attoso in- of partitions √ 710 fCiaand China of 171140) n n n x P 3 = ) rms We primes. n /x ) n , fintegers. of > 4 with . . . , 1 a n sstrictly is n primes. ) Since . x n > > 3 3. is 2 ZHI-WEI SUN
the function f(x) is strictly convex over the interval (4.5, + ) and so ∞ 2 2f(n + 1) A sequence (an)n>1 of nonnegative real numbers is said to be log-convex if 2 an+1 6 anan+2 for all n = 1, 2, 3,.... Many combinatorial sequences (such as the sequence of the Catalan numbers) are log-convex, the reader may consult [LW] for some results on log-convex sequences. For n Z+ let S = n p be the sum of the first n primes. For instance, ∈ n k=1 k S1 =2, S2 =2+3=5P , S3 =2+3+5=10, S4 =2+3+5+7=17. Recently the author [S] conjectured that for any positive integer n the interval (S , S ) contains a prime. As S < np for all n Z+, the sequence n n+1 n n+1 ∈ (Sn/n)n>1 is strictly increasing. In the next section we will state our theorems involving the sequence (an)n>1 n with an = Sn/n, and pose three related conjectures for further research. Section 3 is devoted to our proofs of the theorems. p 2. Our results and conjectures n n Theorem 2.1. The sequences ( √Sn)n>2 and ( Sn/n)n>1 are strictly de- creasing. p Remark 2.2. Note that Sn/n is just the arithmetic mean of the first n primes. It is interesting to compare Theorem 2.1 with Firoozbakht’s conjecture that n ( √pn)n>1 is strictly decreasing. For α > 0 and n Z+ define ∈ n (α) α Sn = pk . Xk=1 We actually obtain the following extension of Theorem 2.1. α Theorem 2.3. Let α > 1 and n Z+ with n > max 100, e2×1.348 +1 . Then ∈ { } (α) (α) n S n+1 S n > n+1 (2.1) s n sn +1 and hence n (α) n+1 (α) Sn > Sn+1. (2.2) q q Remark 2.4. In view of Example 1.1, (2.1) implies (2.2) if n > 3. We conjecture that (2.1) holds for any α > 0 and n Z+. ∈ Note that e2×1.348+1 = 40 and we can easily verify that ⌊ ⌋ n S n S n > +1 n+1 for every n =1,..., 99. r n rn +1 So Theorem 2.1 follows from Theorem 2.3 in the case α = 1. ON A SEQUENCE INVOLVING SUMS OF PRIMES 3 Corollary 2.5. For each α 2, 3, 4 , the sequences ∈{ } (α) n Sn n (α) and Sn s n n>1 n>1 q are strictly decreasing. Proof. Observe that 2 3 4 e2×1.348 +1 = 102, e2×1.348 +1 = 364, e2×1.348 +1 = 2005. ⌊ ⌋ ⌊ ⌋ ⌊ ⌋ In light of Theorem 2.3 and Example 1.1, it suffices to verify that (α) (2) n S n+1 S n > n+1 s n sn +1 α whenever α 2, 3, 4 and n 1,..., e2×1.348 +1 . These can be easily done via computer.∈ { } ∈ { ⌊ ⌋} Our following theorem is more sophisticated than Theorem 2.3. Theorem 2.6. Let α > 1. Then the sequence n+1 (α) n (α) Sn+1/(n + 1) Sn /n q q n>N(α) is strictly increasing, where 2 2α+1 α+1 N(α) = max 350000, e((α+1) 1.2 +(α+1)1.2 )/α . (2.3) ⌈ ⌉ n o Corollary 2.7. All the sequences n+1 n n+1 n Sn+1/(n + 1) Sn/n , Sn+1 Sn , n>10 n>5 p p p pn n+1 (2) n (2) n+1 (2) (2) Sn+1/(n + 1) Sn /n , Sn+1 Sn , q q n>13 q q n>10 n n+1 (3) n (3) n+1 (3) (3) Sn+1/(n + 1) Sn /n , Sn+1 Sn , q q n>17 q q n>10 n n+1 (4) n (4) n+1 (4) (4) Sn+1/(n + 1) Sn /n , Sn+1 Sn q n>35 q n>17 q q are strictly increasing. 4 ZHI-WEI SUN Proof. For N(α) given by (2.3), via computation we find that N(1) = 350000,N(2) = 974267,N(3) = 3163983273 and N(4) = 2271069361863763. Via computer we can verify that n+1 (α) n+2 (α) Sn+1/(n + 1) Sn+2/(n + 2) < q n (α) n+1q (α) Sn /n Sn+1/(n + 1) q q for all α 1, 2, 3, 4 and n = N (α),...,N(α) 1, where ∈{ } 0 − N0(1) = 10,N0(2) = 13,N0(3) = 17,N0(4) = 35. Combining this with Theorem 2.3 we obtain that n+1 n Sn+1/(n + 1)/ Sn/n n>N0(α) p p n+1 n is strictly increasing for each α = 1, 2, 3, 4. Recall that ( √n +1/ √n)n>4 n+1 n is strictly increasing by Example 1.1. So Sn+1/ √Sn is strictly n>N0(α) increasing for any α 1, 2, 3, 4 . It remains to check that ∈{ } p n+1 (α) n+2 (α) Sn+1 Sn+2 < nq (α) n+1q (α) Sn Sn+1 q q for all α 1, 2, 3, 4 and n = n (α),...,N (α) 1, where n (1) = 5, n (2) = ∈{ } 0 0 − 0 0 n0(3) = 10, and n0(4) = 17. This can be easily done via computer. We conclude this section by posing three conjectures. Conjecture 2.8. The two constants ∞ ∞ 1 ( 1)n s = and s = − 1 S 2 S n=1 n n=1 n X X are both transcendental numbers. Remark 2.9. Our computation shows that s 1.023476 and s 0.3624545778. 1 ≈ 2 ≈ − If p and p+2 are both primes, then they are called twin primes. The famous twin prime conjecture states that there are infinitely many twin primes. ON A SEQUENCE INVOLVING SUMS OF PRIMES 5 Conjecture 2.10. (i) If t ,t +2 ,..., t ,t +2 are the first n pairs of { 1 1 } { n n } twin primes, then the first prime tn+1 in the next pair of twin primes is smaller 1+1/n n n+1 than tn , i.e., √tn > √tn+1. n+1 n (ii) The sequence ( Tn+1/ √Tn)n>9 is strictly increasing with limit 1, where T = n t . n k=1 k p P n n+1 Remark 2.11. Via Mathematica the author has verified that √tn > √tn+1 n+1 n n+2 n+1 for all n = 1,..., 500000, and Tn+1/ √Tn < Tn+2/ Tn+1 for all n =9,..., 500000. Note that t = 115438667. 500000p p p Recall that a partition of a positive integer n is a way of writing n as a sum of positive integers with the order of addends ignored. Also, a strict partition of n Z+ is a way of writing n as a sum of distinct positive integers with the ∈ order of addends ignored. For n =1, 2, 3,... we denote by p(n) and p∗(n) the number of partitions of n and the number of strict partitions of n respectively. It is known that eπ√2n/3 eπ√n/3 p(n) and p∗(n) as n + ∼ 4√3n ∼ 4(3n3)1/4 → ∞ n n (cf. [HR] and [AS, p. 826]) and hence limn→∞ p(n) = limn→∞ p∗(n)=1. Here we formulate a conjecture similar to Conjecture 2.10. p p Conjecture 2.12. For n Z+ let ∈ p(n) p∗(n) n n q(n) = , q∗(n) = , r(n) = q(n), and r∗(n) = q∗(n). n n p p Then the sequences (q(n +1)/q(n))n>31 and (q∗(n + 1)/q∗(n))n>44 are strictly decreasing, and the sequences (r(n + 1)/r(n))n>60 and (r∗(n + 1)/r∗(n))n>120 are strictly increasing. Remark 2.13. Via Mathematica we have verified the conjecture for n up to 105. In light of Example 1.1, Conjecture 2.12 implies that all the sequences p(n + 1) p∗(n + 1) n n , , ( p(n))n>6, ( p∗(n))n>9 p(n) p∗(n) n>25 n>32 p p n+1 n are strictly decreasing, and that the sequences ( p(n + 1)/ p(n))n>26 and n n ( +1 p∗(n + 1)/ p∗(n)) are strictly increasing. The fact that (p(n + n>45 p p 1)/p(n)) is strictly decreasing was conjectured by W.Y.C. Chen [C] and p n>25 p proved by J.E. Janoski [J, pp. 7-23]. 6 ZHI-WEI SUN 3. Proofs of Theorems 2.3 and 2.6 Lemma 3.1. Let α > 1 and n 2, 3,... . Then ∈{ } nα+1 logα n α S(α) > 2α + 1 . (3.1) n α +1 − (α + 1)log n Proof. It is known that pk > k log k for k =2, 3,... (cf. [Ro] and [RS, (3.12)]). Thus n n n k n (α) α α α α α Sn 2 = pk > (k log k) > (x log x) dx = (x log x) dx − k−1 1 kX=2 kX=2 kX=2 Z Z Using integration by parts, we find that n xα+1 n n xα+1 α(log x)α−1 (x log x)αdx = logα x dx α +1 − α +1 · x Z1 x=1 Z1 α+1 n n α α α α−1 = log n x (log x) dx α +1 − α +1 Z1 nα+1 α n > logα n xα(log n)α−1dx α +1 − α +1 Z1 nα+1 αnα+1 > logα n (log n)α−1. α +1 − (α + 1)2 Therefore (3.1) holds. Lemma 3.2. Let α > 1 and n Z+ with n > 55. Then ∈ (α) log Sn > (α + 1)log n. (3.2) Proof. Note that 54 < e4 < 55 6 n. As logα n > 4α = (2α)2 > (α + 1)2, by Lemma 3.1 we have nα+1 logα n α nα+1 S(α) > 1 = logα n > nα+1 n α +1 − α +1 (α + 1)2 and hence (3.2) follows. Proof of Theorem 2.3. It is known that pm < m(log m + loglog m) for any m > 6 (cf. [RS, (3.13)] and [D, Lemma 1]). If m > 101, then log log m log log101 6 < 0.3314 log m log 101 ON A SEQUENCE INVOLVING SUMS OF PRIMES 7 and hence pm < 1.3314m log m. As n +1 6 1.01n, we have log(n + 1) log((n + 1)/n) log1.01 log1.01 = 1 + 6 1 + 6 1 + < 1.0022. log n log n log n log 100 Therefore p < 1.3314(n + 1)log(n +1) < 1.3314 1.01n 1.0022 log n < 1.348n log n. n+1 × × Combining Lemmas 3.1 and 3.2, we see that n (α) n +1 (α) S Sn 1 n n1+1/n − q (α) − =S(α) e(log Sn )/n+log(n+1) (1+1/n) log n 1 n − (α)− >S(α) e(log Sn log n)/n 1 > S(α) e(α log n)/n 1 n − n − nα+1logα n α α log n > 1 α +1 − (α + 1)log n n α α = (n log n)α log n α +1 − α +1 (n log n)α > (log n 1). 2 − As (log n 1)/2 > 1.348α, from the above we get − (α) 1+1/n Sn (α) α α (n + 1) Sn > (1.348n log n) > pn+1 n ! − and hence (n+1)/n (α) S(α) S n > n+1 n ! n +1 which yields (2.1). As mentioned in Remark 2.4, (2.2) follows from (2.1). This concludes the proof. Proof of Theorem 2.6. Fix an integer n > N(α). For any integer m > 350001, we have log log m log log 350001 6 < 0.1996 log m log 350001 and hence log log m p < m(log m) 1 + < 1.1996m log m. m log m 8 ZHI-WEI SUN As n > 350000, we have log(n + 1) log(1 + 1/n) log 350001 = 1 + 6 < 1+10−6. log n log n log 350000 Therefore pn+1 <1.1996(n + 1)log(n + 1) 350001 <1.1996 n (1+10−6)log n < 1.2n log n. × 350000 × Since log n > log 350000 > 1/0.078335, Lemma 3.1 implies that nα+1 logα n nα+1 logα n S(α) > (1 0.078335) > . n α +1 − 1.085(α + 1) Therefore α (α) pn+1 cα qn := (α) < , (3.3) Sn n α where cα =1.085(α + 1)1.2 . By calculus, x2 x < log(1 + x) Combining this with (3.2) and (3.3) and noting that (350001/350000)n2 > n(n + 1), we obtain 2α log n 2(2n + 3) 4 D(α) < − + n n(n + 1)(n + 2) − (n + 1)2(n + 2)2 (n + 2)3 2c 2c2 + α + α n(n + 1)(n + 2) n2(n + 2) 2α log n 4 4 < − + n(n + 1)(n + 2) − (n + 1)(n + 2)2 (n + 1)(n + 2)2 2c + 2(350001/350000)c2 + α α n(n + 1)(n + 2) 2((350001/350000)c2 + c α log n) = α α − . n(n + 1)(n + 2) Note that 350001 c2 + c 350000 α α 350001 = 1.0852(α + 1)21.22α +1.085(α + 1)1.2α 350000 × <1.2(α + 1)21.22α +1.2(α + 1)1.2α 6 α log N(α) 6 α log n. (α) So we have Dn < 0 and hence n+1 (α) n+2 (α) Sn+1/(n + 1) Sn+2/(n + 2) < q n (α) n+1q (α) Sn /n Sn+1/(n + 1) q q as desired. Acknowledgment. The work was done during the author’s visit to the Uni- versity of Illinois at Urbana-Champaign, so the author wishes to thank Prof. Bruce Berndt for his kind invitation and hospitality. References [AS] M. Abramowitz and I. A. Stegun (eds.), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing, New York, Dover, 1972. [C] W. Y. C. Chen, Recent developments on log-concavity and q-log-concavity of combina- torial polynomials, a talk given at the 22nd Inter. Confer. on Formal Power Series and Algebraic Combin. (San Francisco, 2010). [D] P. Dusart, The kth prime is greater than k(log k +log log k −1) for k > 2, Math. Comp. 68 (1999), 411–415. [HR] G. H. Hardy and S. Ramanujan, Asymptotic formulae in combinatorial analysis, Proc. London Math. Soc. 17 (1918), 75–115. [J] J. E. Janoski, A collection of problems in combinatorics, PhD Thesis, Clemson Univ., May 2012. 10 ZHI-WEI SUN [LW] L. L. Liu and Y. Wang, On the log-convexity of combinatorial sequences, Adv. in Appl. Math. 39 (2007), 453–476. [R] P. Ribenboim, The Little Book of Bigger Primes, 2nd Edition, Springer, New York, 2004. [Ro] J. B. Rosser, The n-th prime is greater than n log n, Proc. London Math. Soc. 45 (1939), 21–44. [RS] J. B. Rosser and L. Schoenfeld, Approximate formulas for some functions of prime numbers, Illinois J. Math. 6 (1962), 64–94. [S] Z.-W. Sun, On functions taking only prime values, preprint (2012), arXiv:1202.6589.