The modern formulation of proof by induction was not developed until the 17th century, but some later commentators consider it implicit in some of Euclid's proofs, e.g., the proof of the infinitude of primes [REF].
Supposed paradoxes involving infinite series, such as Zeno's paradox, predated Euclid.