This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A338878 #98 Dec 23 2020 08:42:19 %S A338878 1,1,1,1,3,1,1,2,2,1,1,5,5,5,1,1,3,1,1,3,1,1,7,7,7,7,7,1,1,4,4,2,2,4, %T A338878 4,1,1,9,3,3,9,3,3,9,1,1,5,5,5,1,1,5,5,5,1,1,11,11,11,11,11,11,11,11, %U A338878 11,1,1,6,2,1,3,2,2,3,1,2,6,1 %N A338878 Numerators in a set of expansions of the single-term Machin-like formula for Pi. %C A338878 Denominators are A338879. %C A338878 Abrarov et al. (see section LINKS) give an identity arctan(n*x) = Sum_{m=1..n} arctan(x/(1 + (m-1)*m*x^2)). At x=1/n this identity provides set of expansions of the single-term Machin-like formula for Pi in form Pi/4 = arctan(1) = Sum_{m=1..n} arctan(n/((m-1)*m + n^2)). For m = n - k + 1 at k=1..n the fractions n/((m-1)*m + n^2) constitute the triangle with rows in ascending order: %C A338878 k= 1 2 3 4 5 6 %C A338878 n=1: 1; %C A338878 n=2: 1/3, 1/2; %C A338878 n=3: 1/5, 3/11, 1/3; %C A338878 n=4: 1/7, 2/11, 2/9, 1/4; %C A338878 n=5: 1/9, 5/37, 5/31, 5/27, 1/5; %C A338878 n=6: 1/11, 3/28, 1/8, 1/7, 3/19, 1/6; %C A338878 Section EXAMPLE shows the corresponding triangle T(n,k) with numerators. This triangle T(n,k) possesses a sifting property for primes. In particular, in a row of kind {1,p,p,p,...,p,p,1} the integer p must be a prime and n = p except the case n = 4 when prime p = 2. %H A338878 Sanjar Abrarov, <a href="/A338878/b338878.txt">Table of n, a(n) for n = 1..120</a> %H A338878 Sanjar M. Abrarov, Rehan Siddiqui, Rajinder K. Jagpal, and Brendan M. Quine, <a href="https://arxiv.org/abs/2004.11711">Unconditional applicability of the Lehmer's measure to the two-term Machin-like formula for pi</a>, arXiv:2004.11711 [math.GM], 2020. %F A338878 T(n,k) = numerator(n/((n-k)*(n-k+1) + n^2)) = n/gcd(n,k*(k-1)), for n>=1 and 1 <= k <= n. %F A338878 Pi/4 = Sum_{k=1..n} arctan(T(n,k) / A338879(n,k)). %e A338878 Triangle T(n,k) begins: %e A338878 k= 1 2 3 4 5 6 %e A338878 n=1: 1; %e A338878 n=2: 1, 1; %e A338878 n=3: 1, 3, 1; %e A338878 n=4: 1, 2, 2, 1; %e A338878 n=5: 1, 5, 5, 5, 1; %e A338878 n=6: 1, 3, 1, 1, 3, 1; %e A338878 For example, for row n = 3 the corresponding expansion formula is Pi/4 = arctan(1/5) + arctan(3/11) + arctan(1/3) and the numerators are 1,3,1. %e A338878 At n = 3, n = 4 and n = 5 the rows are {1,3,1}, {1,2,2,1} and {1,5,5,5,1} and the primes are 3, 2 and 5, respectively. %t A338878 (*Define variable*) %t A338878 PiOver4[m_] := Sum[ArcTan[m/((k - 1)*k + m^2)], {k, 1, m}]; %t A338878 (*Expansions*) %t A338878 m := 1; %t A338878 While[m <= 10, %t A338878 If[m == 1, Print["\[Pi]/4 = ArcTan[1/1]"], %t A338878 Print["\[Pi]/4 = ", PiOver4[m]]]; m = m + 1]; %t A338878 (*Verification*) %t A338878 m := 1; %t A338878 While[m <= 10, Print[PiOver4[m] == Pi/4]; m = m + 1]; %t A338878 (*Numerators*) %t A338878 For[n = 1, n <= 15, n++, {k := 1; sq := {}; %t A338878 While[n >= k, AppendTo[sq, n/GCD[n, k*(k - 1)]]; k++]}; %t A338878 Print[sq]]; %o A338878 (PARI) T(n, k) = if (n>=k, n/gcd(n,k*(k - 1))) %o A338878 matrix(10, 10, n, k, T(n, k)) \\ _Michel Marcus_, Nov 14 2020 %Y A338878 Cf. A338879 (denominators), A003881 (Pi/4). %K A338878 nonn,frac,tabl %O A338878 1,5 %A A338878 _Sanjar Abrarov_, Nov 13 2020