Not 100% sure, but pretty sure. The situation isn’t so much that I think that the evidence for the limit of a continuous function being continuous is weak, as much as that the evidence for the product formula for sine is very strong.
The result (and its analog) imply two formulas for pi that had been proved by other means, and predicts infinitely many previously unknown numerical identities, which can be checked to be true to many decimal places. What more could you ask for? :-)
Polya reports on Euler performing such checks. I don’t know how many he did – one would have to look at the original papers (which are in Latin), and even they probably omit some of the plausibility checks that Euler did.
Not 100% sure, but pretty sure. The situation isn’t so much that I think that the evidence for the limit of a continuous function being continuous is weak, as much as that the evidence for the product formula for sine is very strong.
The result (and its analog) imply two formulas for pi that had been proved by other means, and predicts infinitely many previously unknown numerical identities, which can be checked to be true to many decimal places. What more could you ask for? :-)
And did Euler check them?
Polya reports on Euler performing such checks. I don’t know how many he did – one would have to look at the original papers (which are in Latin), and even they probably omit some of the plausibility checks that Euler did.