[math-fun] Identities for Pi (03)