Analysis of information sources in references of the Wikipedia article "Luas lingkaran" in Indonesian language version.
However, by indirect reasoning, Eudoxus (fifth century B.C.) used exhaustion to prove the familiar formula for the area of a disk: