arxiv: v47 [math.ca] 29 Dec 2014

Transcription

1 arxiv: LIST OF CONJECTURAL SERIES FOR POWERS OF AND OTHER CONSTANTS arxiv: v47 [math.ca] 29 Dec 2014 Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing People s Republic of China zwsun@nju.edu.cn zwsun Abstract. Here I give the full list of my conjectures on series for powers of and other important constants scattered in some of my public papers or my private diaries. The list contains 234 reasonable conjectural series. On the list there are 178 reasonable series for 1 four series for 2 two series for 2 four series for 4 two series for 5 three series for 6 seven series for ζ3 one series for ζ3 two series for 2 ζ3 one series for ζ3 2 three series involving both ζ3 2 and 6 one series for ζ5 three series involving both ζ5 and ζ2ζ3 two series involving both ζ5 and 3 ζ3 three series involving ζ7 three series for K = L2 one series for the Catalan constant G two 3 series for G one series involving both 3 G and 2 ζ3 two series for K two series involving L = L4 three series involving β4 = L4 4 and four 3 series for 2 loga with a = /2. The code of a conjectural series is underlined if and only if a complete proof of the identity is available. 1. Series for various constants other than 1/ Conjecture 1. i Z. W. Sun [S11 Conj. 1.4] We have = = = = =1 =1 c Copyright is owned by the author Zhi-Wei Sun. The list on the author s homepage has been lined to Number Theory Web since Feb

2 2 ZHI-WEI SUN where =K = = 45 K =1 K :=L 2 = 3 = = with the Legendre symbol. ii Z. W. Sun [S13a Conj. 8] We have = 14ζ3 1.6 =1 where ζ3 := n=1 1/n3. iii Z. W. Sun [S11 Conj. 1.4] We have and 18n 2 +7n n 40n 2 +26n n 2n n 2n n 2 n 1/4 2 n n 2 2 iv Z. W. Sun [S14e Conj. 1.1] We have = /4 n 2n n 2 = = = 15 K where K is as in part i. v Z. W. Sun [S14e Conj. 3.1 and 3.2] For n = let H n denote the harmonic number n =11/. Then H 2 +2/3 2 =ζ =1 H 2 +2H 2 = 5 ζ =1 H 2 +17H 2 = K =1

3 Also =1 =1 SERIES FOR POWERS OF AND OTHER CONSTANTS 3 =1 = = = =1 =1 L v H /2 1 2 = 7 ζ H 2 3H + 2 = 7 ζ H 2 11H + 8 =2G H 2 7H + 2 = 2 2 6H 2 8H + 5 log = 26 ζ H 2 10H + 7 =2 3K 1.18 = H + 1 = 2 log = 41ζ3+42 logφ = 124ζ3+2 log5 5 φ where G denotes the Catalan constant 1 / φ stands for the famous golden ratio 5+1/2 the Lucas numbers L 0 L 1 L 2... are given by L 0 = 2 L 1 = 1 and L n+1 = L n +L n 1 for n = and v 0 v 1 v 2... are defined by v 0 = 2 v 1 = 5 and v n+1 = 5v n v n 1 for n = vi Z. W. Sun [S14e Conj. 3.3 and 3.4] 1 110H 3/ 3 = = H 2 +4H 3 = = H 2 H +2/ 4 = 11 ζ =1

4 4 ZHI-WEI SUN 3H 2 102H +28/ 4 = ζ3 = H 2 163H +227/ 4 = L =1 where L := L 4 = 3 = We also have H H H =8G =14ζ =40β ζ where β4 = L 4 4 = vii Z. W. Sun [S14e Conj. 4.1 and 4.2] Let H m denote 0<j 1/jm. Then 6H 2 /2 1 / 2 2 = Also =1 = =1 1 j j=1 j 2 1 j j=1 j 3 =1 H = ζ5+2ζ2ζ3 9 = 29ζ5 2ζ2ζ =7ζ5 6ζ2ζ

5 SERIES FOR POWERS OF AND OTHER CONSTANTS 5 =1 1 1H3 +1/5 3 3 = ζ H 2 1 1/2 4 = H 4 1/ 4 2 = =1 =1 and =1 =1 =1 = j j=1 j 2 1 j j=1 0<j< j 4 1 j viii Z. W. Sun [S14e Conj. 4.3] We have =1 =1 33H 5 j = ζ = ζ = ζ / 5 2 = ζ7+ ζ2ζ ζ3ζ H / 3 4 = ζ7 ζ2ζ ζ3ζ j j j=1 ix Z. W. Sun [S14e Conj ] We have = ζ ζ2ζ ζ3ζ j=0 j=0 1 2j +1 3 = 5 ζ j G 2j +1 2 = ζ L 1.44

6 6 ZHI-WEI SUN j=0 j=0 3 5 j=0 j=0 j=0 1 j 2 2j = j 2j =4G j = 2 2 ζ j j = j j = j=0 j=0 1 2j +1 1 = j +1 4 = And j=0 1 j 2j = ζ3+ 8 β j j=0 = ζ ζ j j j=0 = ζ β4 301 ζ j j j=0 = G ζ3 1.55

7 SERIES FOR POWERS OF AND OTHER CONSTANTS j=0 33 2j = ζ3 49 ζ Remar. a I announced first by several messages to Number Theory Mailing List during March-April in My conjectural identity 1.2 was confirmed in [G] via applying a Barnes-integrals strategy of the WZ-method. In 2012 Kh. Hessami Pilehrood and T. Hessami Pilehrood [HP] proved my conjectural identity 1.4 by means of the Hurwitz zeta function and 1.5 were recently confirmed by J. Guillera and M. Rogers [GR]. 1.9 was discovered on August It is nown that =1 1 1 / 3 2 = 2 5 ζ3. A combination of 1.10 and 1.11 yields =1 3H 1// 2 2 = ζ3 for which Mathematica 9 could yield a proof after running the FullSimplify command half an hour see zwsun/zeta3.txt for my detailed report. Combining we find exact values of =1 =1 H 2 2 and =1 H Note that S. Ramanujan cf. [BJ] discovered that = 4 2 log2+ G 2 and = K. In 1985 I.J. Zucer [Z] proved the following remarable identities: = 2 2 K 4 3 ζ3 1 5 = = = = ζ3 12 = L+ ζ3 9 3 ζ L. Also 1.19 could be yielded by Mathematica 9 but it lacs a readable human proof. Concerning 1.20 and 1.21 we remar that cf. [S14e] =1 L = 2 5 and =1 v 2 2 = I would lie to offer 500 Chinese dollars RMB as the prize for the first correct proof of the formula 1.24 for ζ5.

8 8 ZHI-WEI SUN b L. van Hamme [vh] investigated corresponding p-adic congruences for certain hypergeometric series involving the Gamma function or = Γ1/2 2. Almost all of my conjectural series were motivated by their p-adic analogues that I found first. For example 1.9 was motivated by my conjectural congruences and p 1 =1 p 1 p 2 = p2 B p mod p 2 p 4 +4p mod p 3 2 for any prime p > 3 where B p 2 x denotes the Bernoulli polynomial of degree p 2. Also 1.31 and 1.43 are related to my conjectural congruences p 1 =1 H p 3/ B p 5 mod p j=0 p 1 = j H pb p 5 mod p 2 1 pb p 5 mod p 2 p where p is any prime greater than 3. The reader may consult [S] [S11] [S13b] [S14a] [S14b] [S14c] and [S14e] for many other congruences related to my conjectural series. Conjecture 2. i [S13b] Set a n x = 2. Various series for 1/ n 2 n+ x n n = Then we have a 8 = 9 2 a 32 = a 64 =

9 SERIES FOR POWERS OF AND OTHER CONSTANTS 9 ii Z. W. Sun [S14c] For n = define n 2 2n 2 S n 1 x = x n S n 2 x = n Then we have n 2 n x n. S 1 16 = S 1 16 = S S 1 64 = S 1 64 = S S 2 4 = S 2 4 = S 2 6 = S 2 8 = 3 S 2 12 =8 3 S 2 14 = S 2 18 = S 2 32 =

10 10 ZHI-WEI SUN S 2 32 =3 6 S 2 36 = S 2 36 = S 2 60 = S 2 64 = S =490 S = S =495 2 S 2 S = = S = Remar. i Those a n 1 n = were first introduced by R. Apéry in his study of the irrationality of ζ2 and ζ3. Identities related to the form b +c 2 a 1/m = C/ were first studied by T. Sato in ii I introduced the polynomials S n 1 x and S n 2 x during March and were discovered during March and Jan respectively. By Mathematica we have I also noted that { n 2 n/2 n 1 = if 2 n 0 if 2 n. S 1 n/2 S n 1 1 = 2 n 2 4 n 2. 2

11 Identities of the form SERIES FOR POWERS OF AND OTHER CONSTANTS 11 bn+c m n 2n n n/2 n n 2 = C were recently investigated in [CC]. iii In [S14c] I proved the following three identities via Ramanujan-type series for 1/ cf. [B pp ] S = 2 S 2 4 = S 2 4 = In December 2011 A. Meurman [M] confirmed my conjectural Conjecture 3. i Discovered on April Set Then W n x := n n 2 n x n+ n = W 8 = W 12 = W 16 = W 20 = W 28 = W 32 =

12 12 ZHI-WEI SUN W 100 = W 104 = W 196 = W 200 = ii Discovered during April and Oct ; and 3.28 appeared in [S13b] Define f + n x := n n 2 2 n x 2 n and f n x := n 2 2 n 1 x 2 n for n = Then f f + 14 = f f f + 36 =

13 SERIES FOR POWERS OF AND OTHER CONSTANTS f f f f f f f f f 8 =520 = f 18 = f f = = iii [S13b] Define g n x = n n 2 2 x for n = Then g = We also have 21n+1 64 n n 2 n 2 2n 2 n 3 2 n =

14 14 ZHI-WEI SUN Remar. a As May 20 is the day for Nanjing University I offered $ US dollars for the first correct proof of Later M. Rogers and A. Straub [RS] won the prize and they also discussed other series in Conjecture 3ii. b For n = define Then f n 1 = f n x := n 2 2 n x = n 2 n x. 3 n f n + x = x n f n x 2 and fn x = x n f n x 2. By [S14d] n n 1 1 f x = g n x. Thus by the technique in Section 5 each of has an equivalent form in term of g x. Below are equivalent versions of and : g 36 = g 196 = g 196 = g 441 = g 1296 = g 5776 = g = g 64 = g 324 =

15 SERIES FOR POWERS OF AND OTHER CONSTANTS 15 Note that [CTYZ] contains some series for 1/ involving f = f 1 or g = g 1. c Observe that n 2 n 2 2n 2 n 1 n = n 2 2 2n 2 n which can be proved by obtaining the same recurrence relation for both sides via the Zeilberger algorithm. Conjecture 4 Discovered during April and May i We have 2n 1 3 n 16 n 10n+3 16 n 8n+1 20 n 168n n 162n n n+1 9 n 2n n 2n n 2n n 2n n 2n n 2 2 1/3 2/3 = 3 3 n 4.1 1/3 1/3 1/3 1/3 1/3 2/3 n 2/3 n 2/3 n 2/3 n 2/3 n = = = = = Also n 2 2 n 9 n 16n+5 12 n 12n+1 16 n 2 2n n 1/4 3/4 n = n 1/4 3/4 = 8 n n n 1/4 3/4 n n =

16 16 ZHI-WEI SUN and 81n+328 n 49 n n 8 n 81 n 324n n 320n n n n 2n n 2n n 2n n 1/4 1/4 1/4 1/4 3/4 n 3/4 n 3/4 n 3/4 n = = 5 4? 4.11 = = ii We have If we set then 3n 1 2 n 1/3 2/3 n 1/6 5/6 n 2 1/3 2/3 a n = 1 n 2 2/3 1/3 = 1 n = 4n 2/3 1/3 1/6 5/6 2n n n n 3n 2 5 n 32n n9n 81n n 2n n 2n n 2n n a n = 3 15 = a n = a n =

17 SERIES FOR POWERS OF AND OTHER CONSTANTS 17 96n n 15n n 160n n 6144n n n n 2n a n = 6 51 n n a n = n n a n = 16 n n a n = n n n a n = iii For n = set 2 1/4 3/4 b n = 1 n 2 3/4 1/4 = 1 n = 4n 1/8 5/8 3/8 7/8 2n. n n n Then 16n+1 2n 20 n n 3n 14 n 2n 25 n n 6n+1 2n 32 n n 81n+23 2n 8 n 49 n n 192n+19 2n 196 n n b n = 4 5 b n = 25 b n = 8 6 b n = b n =

18 18 ZHI-WEI SUN and 162n n 1296n n 4802n n iv For n = set c n := Then we have 162n n 2 1/6 5/6 1 n 2 5/6 1/6 = 1 n = 4n 1/12 7/12 2n n 2n b n = n n b n = n n b n = n n b n = n /12 n 11/12 n 125n+13 2n c 121 n n = 121 n n 816 n 2n c 189 n n = 27 7 n n+2427 n 2n 392 n c n = n 2 512n+37 2n c 2052 n n = n 512n+3927 n 2n c 2156 n n = n 1331n+1092 n 2n 1323 n c n = 1323 n

19 SERIES FOR POWERS OF AND OTHER CONSTANTS 19 Remar. i I [S11a] proved the following three identities: n 4 n 9n+2 8 n 9n+1 64 n 2 2 1/4 3/4 = 4 3 n /4 3/4 = 4 n 2 2 1/4 3/4 = 64 n 7 7. On May I observed that if x+y +1 = 0 then 2 x y 1 = n 2 y x 1 n which can be easily proved since both sides satisfy the same recurrence relation by the Zeilberger algorithm. Also 1/3 2/3 1/6 5/6 = n n 1/8 3/8 5/8 7/8 = n n 1/12 5/12 7/12 11/12 = n n Thus each of has an equivalent form since bn+c m n n 1 f = m m 1 2 a n 2 4 n 2 b 4 n 2 c 4. bm +b+m 1c f 1 m if both series in the equality converge absolutely. For example 4.22 holds if and only if 16854n n 1/3 2/3 n 1/6 5/6 n = ii 4.1 and 4.14 appeared as conjectures in [S13b]. In December 2011 G. Almvist and A. Aycoc released the preprint [AA] in which they proved all the conjectured formulas in Conj. 4 except 4.14 with the right-hand side of 4.11 corrected as 162/49 7.

20 20 ZHI-WEI SUN Conjecture 5 Z. W. Sun [S14c]. Define s n x := n n x n+ for n = Then s 9 = s 20 = s 36 = s 64 = s 196 = s 324 = s 1296 = s 5776 = Also 357n n 2n n n n 2n 3645 n n n n n+2 n 2 2 n n = n = Remar and 5.10 were discovered during June and on Jan respectively. I would lie to offer $90 for the first rigorous proof of 5.9 which first appeared in Conjecture 1.7 of [S13b] and $105 for the

21 SERIES FOR POWERS OF AND OTHER CONSTANTS 21 first complete proof of my following related conjecture: For any prime p > 5 we have and p 1 2n n 2160 n p 1 357n+103 2n n n n n n 2 1 p p mod p p 15 2 n n n n 4x 2 2pmod p 2 if 1 p = p 3 = p 5 = p 7 = 1 p = x2 +105y 2 2x 2 2pmod p 2 if 1 p = p 7 = 1 p 3 = p 5 = 1 2p = x2 +105y 2 2p 12x 2 mod p 2 if 1 p = p 3 = p 5 = p 7 = 1 p = 3x2 +35y 2 2p 6x 2 mod p 2 if 1 p = p 7 = 1 p 3 = p 5 = 1 2p = 3x2 +35y 2 20x 2 2pmod p 2 if 1 p = p 5 = 1 p 3 = p 7 = 1 p = 5x2 +21y 2 10x 2 2pmod p 2 if 1 p = p 3 = 1 p 5 = p 7 = 1 2p = 5x2 +21y 2 28x 2 2pmod p 2 if 1 p = p 5 = 1 p 3 = p 7 = 1 p = 7x2 +15y 2 14x 2 2pmod p 2 if 1 p = p 3 = 1 p 5 = p 7 = 1 2p = 7x2 +15y 2 0 mod p 2 if 105 p = 1. Notethat the imaginary quadratic field Q 105 has class number eight. In fact for all series for 1/ that I found I had such conjectures on congruences. See [S13b] for my philosophy about series for 1/. Conjecture 6. i [S13b] We have 114n n 930n n 2n n 2 n n+ n 2n n 2 n n+ n 27 = = ii and were discovered on Jan and Nov respectively Set P n x = 2 2 x n for n = n

22 22 ZHI-WEI SUN Then we have P 7 = P 14 = P 21 = P 45 = P 175 = P 196 = P 196 = P 396 = P 396 = P = P = iii Z. W. Sun [S14b 1.8] Define s n = n n 2 / n for n = Then we have s = Remar. i W. Zudilin [Zu] confirmed 6.1 and 6.2.

23 SERIES FOR POWERS OF AND OTHER CONSTANTS 23 ii6.14wasdiscoveredonjan Itisnownthat n 2 2n n forall = 0... n. RecallthattheCatalan-Larcombe-FrenchnumbersP 0 P 1... are given by P n = 2 2 2n 2 n/2 2 n n 2 = 2 n P n 4 = 2 n 4 n 2 2 n and these numbers satisfy the recurrence relation Note that +1 2 P +1 = P P 1 = n 2 1 n n = { 4 n n n/2 2 if 2 n 0 if 2 n. The sequence {s n } n 0 can also be defined by s 0 = 1 s 1 = 24 s 2 = 976 and the recurrence relation 51200n+1 2 n+3s n 19204n 3 +24n 2 +46n+29s n+1 +8n+241n n+255s n+2 3n+2n+3 2 s n+3 = 0. A sequence of polynomials {P n q} n 0 with integer coefficients is said to be q-logconvex if for each n = all the coefficients of the polynomial P n 1 qp n+1 q P n q 2 Z[q] are nonnegative. In view of Conjectures 2 and 3 on May I conjectured that {P n q} n 0 is q-logconvex if P n q has one of the following forms: n 2 n n n n q q n 2 2n n n+ 2 2 q 2 2n n q. For polynomials of the third form this was later confirmed by D.Q.J. Dou and A.X.Y. Ren [DR]. 3. Series for 1/ involving generalized central trinomial coefficients For bc Z the generalized central trinomial coefficient T n bc denotes the coefficient of x n in the expansion of x 2 +bx+c n. It is easy to see that T n bc = n/2 n 2 2 b n 2 c = n/2 n n b n 2 c.

24 24 ZHI-WEI SUN An efficient way to compute T n bc is to use the initial values and the recursion T 0 bc = 1 T 1 bc = b n+1t n+1 bc = 2n+1bT n bc nb 2 4cT n 1 bc n = In view of the Laplace-Heine asymptotic formula for Legendre polynomials I [S14a] noted that for any positive reals b and c we have T n bc b+2 c n+1/2 2 4 c n as n +. For any real number b and c < 0 I [S14a] conjectured that lim n n T n bc = b 2 4c which was later confirmed by S. Wagner [Wa]. In Jan.-Feb I introduced a number of series for 1/ of the following new types with abcdm integers and mbcdb 2 4c nonzero. Type I. a+d 2 2T bc/m. Type II. a+d 2 3 T bc/m. Type III. a+d T bc/m. Type IV. a+d 2 2T2 bc/m. Type V. a+d 2 3 T3 bc/m. During October I introduced two new inds of series for 1/: Type VI. a+dt bc 3 /m Type VII. a+d 2 T bc 2 /m where abcdm are integers and mbcdb 2 4c is nonzero. Recall that a series a is said to converge at a geometric rate with ratio r if lim + a +1 /a = r 01. Conjecture I Z. W. Sun [S14b]. We have the following identities: T 116 = T = T 1941 = T = Remar. The series I1-I4 converge at geometric rates with ratios 9/16 9/16 49/64 1/4 respectively. I1 I2 I3 I4

25 SERIES FOR POWERS OF AND OTHER CONSTANTS 25 Conjecture II Z. W. Sun [S14b]. We have and T 186 = T 101 = T 1981 = II1 II2 II3 T 9701 = II4 T = 25 3 II5 2 3 T 1021 = II6 2 3 T 1981 = II T = II8 T = II9 T = II T = II T = Remar. The series II1-II12 converge at geometric rates with ratios II12 respectively

26 26 ZHI-WEI SUN Conjecture III Z. W. Sun [S14b]. We have the following formulae: T 521 = III1 T 1101 = 3 6 T 981 = T = T = III2 III3 III4 III5 and T 3221 = III6 4 2 T = III7 4 2 T 8981 = III8 4 2 T = III T = T = T = III10 III11 III12 T = III13

27 SERIES FOR POWERS OF AND OTHER CONSTANTS 27 Remar. The series III1-III13 converge at geometric rates with ratios respectively. I than Prof. Qing-Hu Hou at Nanai University for helping me chec III9 numerically. Conjecture IV Z. W. Sun [S14b]. We have T 271 = 48 5 IV1 2 2 T 2621 = 120 IV2 2 2 T = 4320 IV3 2 2 T 2101 = IV4 2 2 T 2381 = IV5 2 2 T = IV6 2 2 T 2181 = IV7 2 2 T 2301 = IV8 2 2 T = 30 7 IV9 2 2 T = IV T = IV T = IV12

28 28 ZHI-WEI SUN T = T = T = T = T = T = IV13 IV14 IV15 IV16 IV17 IV T = 12 6 IV T = IV T = IV21 Remar. The series IV1-IV21 converge at geometric rates with ratios respectively. I conjecture that IV1-IV18 have exhausted all identities of the form 2 2T2 b1 a+d = C m with adm Z b {134...} d > 0 and C 2 positive and rational. Conjecture V Z. W. Sun [S14b]. We have the formula T = V1

29 SERIES FOR POWERS OF AND OTHER CONSTANTS 29 Remar. The series V1 converges at a geometric rate with ratio 64/125. Note that [CWZ1] contains complete proofs of I2 I4 II1 II11 III3 and III5. Also a detailed proof of IV4 was given in [WZ]. The most crucial parts of such proofs involve modular equations so in my opinion a complete proof should contain all the details involving modular equation. Conjecture VI Z. W. Sun [S14b]. We have the following formulae: T = T = T = VI1 VI2 VI3 Remar. The series VI1-VI3 converge at geometric rates with ratios respectively. I would lie to offer $300 as the prize for the person not joint authors who can provide first rigorous proofs of all the three identities VI1- VI3. Conjecture VII Z. W. Sun [S14b]. We have the following formulae: T = VII T = VII T 51 2 = VII T 2 71 = VII T =9 7 2 T = VII5 VII6 2 T = VII7

30 30 ZHI-WEI SUN Remar. The series VII1-VII7 converge at geometric rates with ratios respectively. W. Zudilin [Zu] discussed VII1 and VII2-VII6 with the help of S. Cooper s wor [Co]. 4. Historical notes on the 61 series in Section 3 I discovered most of those conjectural series for 1/ in Section 3 during Jan. and Feb. in Series of type VI and VII were introduced in October All my conjectural series in Section 2 came from a combination of my philosophy intuition inspiration experience and computation. In the evening of Jan I figured out the asymptotic behavior of T n bc with b and c positive. Few days later I learned the Laplace-Heine asymptotic formula for Legendre polynomials and hence new that my conjectural main term of T n bc as n + is indeed correct. The story of new series for 1/ began with I1 which was found in the early morning of Jan immediately after I waed up on the bed. On Jan 4 I announced this via a message to Number Theory Mailing List as well as the initial version of [S14b] posted to arxiv. In the subsequent two wees I communicated with some experts on -series and wanted to now whether they could prove my conjectural I1. On Jan. 20 it seemed clear that series lie I1 could not be easily proved by the current nown methods used to establish Ramanujan-type series for 1/. Then I discovered II1 on Jan. 21 and III3 on Jan. 29. On Feb. 2 I found IV1 and IV4. Then I discovered IV2 on Feb. 5. When I waed up in the early morning of Feb. 6 I suddenly realized a conjectural criterion for the existence of series for 1/ of type IV with c = 1. Based on this criterion I found IV3 IV5-IV10 and IV12 on Feb. 6 IV11 on Feb. 7 IV13 on Feb. 8 IV14-IV16 on Feb. 9 and IV17 on Feb. 10. On Feb. 14 I discovered I2-I4 and III4. I found the sophisticated III5 on Feb. 15. As for series of type IV I discovered the largest example IV18 on Feb. 16. and conjectured that the 18 series in Conj. IV have exhausted all those series for 1/ of type IV with c = 1. On Feb. 18 I found II2 II5-II7 II10 and II12. On Feb. 21 I informed many experts on -series including Gert Almvist my listofthe 34 conjectural seriesfor 1/ oftypesi-iv and predicted that there are totally about 40 such series. On Feb. 22 I found II11 and II3-II4; on the same day motivated by my conjectural II2II5-II7 II10 and II12 discovered on Feb 18 G. Almvist found the following two series of type II that I missed: T 181 = A1

31 and SERIES FOR POWERS OF AND OTHER CONSTANTS T 301 = A2 On Feb. 22 Almvist also pointed out that my conjectural identity II2 can be used to compute an arbitrary decimal digit of 3/ without computing the earlier digits. On Feb. 23 I discovered V1 which is the unique example of series for 1/ of type V that I can find. On Feb. 25 and Feb. 26 I found II8 and II9 respectively. These two series converge very slowly. On August 11 I discovered III6-III9 that I missed during Jan.-Feb. III10-III13 were found by me on Sept Note that III13 converges very slow. On Oct. 1 I discovered VI2 and VI3 then I found VI1 on the next day. IfiguredoutVII1-VII4VII5andVII6onOct. 3 4and5respectively. On Oct I discovered VII7. On Oct. 16 James Wan informed me the preprints [CWZ1] and [WZ] on my conjectural series of types I-V. I admit that these two papers contain complete proofs ofi2 I4 II1 II11III3 III5 andiv4. Note also that[cwz2] was motivated by the authors study of my conjectural III5. On Oct I found IV19-IV21 which involve T 2 bc with c < 0. My paper [S14b] containing the 61 series in Section 3 was finally published in A technique for producing more series for 1/ For a sequence a 0 a 1 a 2... of complex numbers define n a n = 1 a for all n N = {012...} and call{a n} n N the dual sequenceof{a n } n N. It iswell nown thata n = a n for all n N. There are many series for 1/ of the form 2 b +c = C m where a bcc and m 0 are real numbers see Section 2-3 for many such series. On March I realized that if m 4 > 4 then 2n n a bmn +2b +m 4c n m 4 2 b+c 4 m = m 4 a. 5.1 n m m a

32 32 ZHI-WEI SUN For the reason see [S14c Section 1]. Thus if m > 8 or m < 0 then = b+c 2 a m = C bm +2b+m 4c 2 a 4 m = m 4C m 4 m. 5.2 Example 5.1. Let a n = 2n n Tn 116 for all n N. Then a n = n n 2 1 T 116 for n = Thus by 5.2 the identity I1 in Section 3 implies that a 260 = References [AA] G. Almvist and A. Aycoc Proof of some conjectural formulas for 1/ by Z. W. Sun preprint arxiv: [B] B. C. Berndt Ramanujan s Noteboos Part IV Springer New Yor [BJ] B. C. Berndt and P. T. Joshi Chapter 9 of Ramanujan s Second Noteboo: Infnite Series Identities Tansformations and Evaluations Amer. Math. Soc. Providence R.I [CC] H. H. Chan and S. Cooper Rational analogues of Ramanujan s series for 1/ Math. Proc. Cambridge Philos. Soc [CTYZ] H. H. Chan Y. Tanigawa Y. Yang and W. Zudilin New analogues of Clausen s identities arising from the theory of modular forms Adv. in Math [CWZ1] H. H. Chan J. Wan and W. Zudilin Legendre polynomials and Ramanujan-type series for 1/ Israel J. Math [CWZ2] H. H. Chan J. Wan and W. Zudilin Complex series for 1/ Ramanujan J [Co] S. Cooper Sporadic sequences modular forms and new series for 1/ Ramanujan J [DR] D.Q.J. Dou and A.X.Y. Ren On the q-log-convexity conjecture of Sun Utilitas Math. to appear. [G] J. Guillera WZ-proofs of divergent Ramanujan-type series in: Advances in Combinatorics eds. I. Kotsireas and E. Zima Springer [GR] J. Guillera and M. Rogers Ramanujan series upside-down J. Austral. Math. Soc [HP] Kh. Hessami Pilehrood and T. Hessami Pilehrood Bivariate identities for values of the Hurwitz zeta function and supercongruences Electron. J. Combin #P35 30pp.

33 SERIES FOR POWERS OF AND OTHER CONSTANTS 33 [M] A. Meurman A class of slowly converging series for 1/ preprint arxiv: Appendix.. [RS] M. Rogers and A. Straub A solution of Sun s $520 challenge concerning 520/ Int. J. Number Theory [S] Z. W. Sun Open conjectures on congruences preprint arxiv: [S11] Z. W. Sun Super congruences and Euler numbers Sci. China Math [S13a] Z. W. Sun Products and sums divisible by central binomial coefficients Electron. J. Combin no. 1 #P [S13b] Z. W. Sun Conjectures and results on x 2 mod p 2 with 4p = x 2 +dy 2 in: Y. Ouyang C. Xing F. Xu and P. Zhang eds. Number Theory and Related Area in: Adv. Lect. Math. Vol. 27 Higher Education Press & International Press Beijing-Boston 2013 pp zwsun/141c.pdf. [S14a] Z. W. Sun p-adic congruences motivated by series J. Number Theory [S14b] Z. W. Sun On sums related to central binomial and trinomial coefficients in: M. B. Nathanson ed. Combinatorial and Additive Number Theory: CANT 2011 and 2012 in: Springer Proc. in Math. & Stat. Vol. 101 Springer New Yor 2014 pp [S14c] Z. W. Sun Some new series for 1/ and related congruences Nanjing Univ. J. Math. Biquarterly no [S14d] Z.W.Sun Congruences involving g n x = n n 2 2 preprintarxiv: [S14e] Z. W. Sun New series for some special values of L-functions preprint arxiv: v [vh] L. van Hamme Some conjectures concerning partial sums of generalized hypergeometric series in: p-adic Functional Analysis Nijmegen 1996 pp Lecture Notes in Pure and Appl. Math. Vol. 192 Deer [Wa] S. Wagner Asymptotics of generzlized trinomial coefficients preprint arxiv: [WZ] J. Wan and W. Zudilin Generating functions of Legendre polynomials: a tribute to Fred Brafman J. Approx. Theory [Z] I. J. Zucer On the series 2 1 =1 n and related sums J. Number Theory [Zu] W. Zudilin A generating function of the squares of Legendre polynomials Bull. Austral. Math. Soc