"To conceive of a parabolic segment or of a triangle as the sum of infinitely many line segments, is closely akin to the idea of Leibniz, who thought of the integral \int y~dx as the sum of infinitely many terms y~dx. But, in contrast to Leibniz, Archimedes is fully aware that this conception is... incorrect and that the derivation should be supplemented by a rigorous proof."