Next question: who discovered the formula for the circumference of a circle?
Archimedes