[math-fun] Identity for Pi (2)