[math-fun] approximating pi by 1