[math-fun] π iteration, again(?)