Notes for irrationalpi