OFFSET
1,1
COMMENTS
In the second formula, "if" can most probably be strengthened to "if and only if": Indeed, a(n) = 0 can be equal to A000030(A090897(n)) only if A090897(n) = 0, i.e., there would be a string of n consecutive zeros in the decimals of Pi from position T(n-1)+1 to position T(n). The probability that this happens appears to be zero. (Notice how A096764(n), first occurrence of n consecutive zeros, grows incredibly much faster than T(n).) Maybe this could be proved considering, e.g., a continued fraction expansion of Pi whose coefficients follow some pattern of moderate growth (as e.g. in A046126), while a very long string of zeros in the decimal expansion would mean that it is exceptionally close to the rational number given by the truncation. - M. F. Hasler, Jan 06 2023
FORMULA
a(n) = A000796(1-n(n-1)/2). - M. F. Hasler, Oct 20 2011
a(n) = A000030(A090897(n)) if (and probably only if) a(n) is nonzero. - Michel Marcus and M. F. Hasler, Jan 06 2023
EXAMPLE
Triangle is
3
14
159
2653
58979
323846
2643383
27950288
419716939
9375105820
a(34) = 0 because in the decimals of Pi there is a 0 at position 562, following the triangular number A000217(33) = 561, i.e., in the first column of the 34th row in the above triangle. - Michel Marcus and M. F. Hasler, Jan 06 2023
MATHEMATICA
pi = RealDigits[Pi, 10, 5461][[1]]; Table[ pi[[n(n + 1)/2 + 1]], {n, 0, 104}]
Module[{nn=110, pid}, pid=RealDigits[Pi, 10, (nn(nn+1))/2][[1]]; TakeList[ pid, Range[ nn]]][[;; , 1]] (* Harvey P. Dale, Mar 06 2023 *)
CROSSREFS
KEYWORD
easy,nonn,base
AUTHOR
Cino Hilliard, Jul 24 2003
EXTENSIONS
Edited by Robert G. Wilson v, Jul 26 2003
STATUS
approved