Stewart, James (2003). Single variable calculus early transcendentals (5th. ed.). Toronto ON: Brook/Cole. pp. 3. ISBN0-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: