The product formula for regularized Fredholm determinants