[math-fun] Euler's crazy pi product