Proof of the Euler product formula for the Riemann zeta function