And a Tweet-length implementation: <a href="https://twitter.com/E0M/status/841673345791803392" rel="nofollow">https://twitter.com/E0M/status/841673345791803392</a><p>for(m=Math,r=a=>m.round(1e9*m.random()),g=(a,b)=>b?g(b,a%b):a,p=0,i=0;i<1e7;i++)if(1==g(r(),r()))p++;console.log(m.sqrt(6/(p/(1e7))));