The correctness of Euler's method for the factorization of the sine function into an infinite product