Its the latter. You can truncate the series at an appropriate place of your choosing. But yes, \Pi as a number does not even exist unless you add the Reals, so

Its the latter. You can truncate the series at an appropriate place of your choosing. But yes, \Pi as a number does not even exist unless you add the Reals, so that would need infinity. What I am saying is, one can work with the Rationals.