Good morning, I have meditated about this matter
Let S1-S2 = C , being C a known transcendental number (irrational one)
and S1 and S2 two series given by sequences an =f(n) and bn = g(n) where it is partially known that S2 converges (as I have added more than 8000 terms of expansion on "n", from n=1 to n=8000 or even 9000) and thus the value converges to a real number for S2. I am interested in determining if S1 must be necessarily convergent even considering 8000 or more terms of expansion of S2, then the S1 should written as
S1 = C + S2. with S1 a convergent result thanks to the sum represented here,
with S2 a convergent series based on numerical evaluation of its partial sums or expansion of 8000 terms without rare jumps or divergence. I do not have yet the possibility to calculate S2 in analytical compact way (it is a special sum) of a not determined value or constant, but numerically converges as described.
I would be interested in the more formal theorems or lemmas to support the relationship S1- S2 = transcendental number (irrational one).
Best wishes,
Carlos