[math-fun] Siddarth Ghoshal has written an amazing identity