https://schlitt.info/blog/0538_randomized_pi_calculation.html