[math-fun] Infinite product expansion for 1