There’s kind of a meek proof built of of work Euclid and Archimedes. There’s a paper that goes over it (I know skimmed) arxiv.org/pdf/1303.0904