I wonder how much debate it took for the original PI proofs to be accepted as fact. Because to prove a constant, you’d have to show that dividing by r^2 always yields the same #. With an infinite decimal, even using sig figs, wouldn’t people argure you can’t be certain it’s 100% the same every time?