The method of exhaustion was not discovered all at once; we find traces of gropings after such a method before it was actually evolved. It was perhaps Antiphon. the sophist, of Athens, a contemporary of Socrates, who took the first step. He inscribed a square (or, according to another account, a triangle) in a circle, then bisected the arcs subtended by the sides, and so inscribed a polygon of double the number of sides; he then repeated the process, and maintained that, by continuing it, we should at last arrive at a polygon with sides so small as to make the polygon coincident with the circle. Thought this was formally incorrect, it nevertheless contained the germ of the method of exhaustion.