Stewart, James. Single variable calculus early transcendentals.. 5th.. Toronto ON: Brook/Cole, 2003, p. 3. ISBN 0-534-39330-6. «However, by indirect reasoning, Eudoxus (fifth century B.C.) used exhaustion to prove the familiar formula for the area of a disk: »