There’s also earlier strict mathematical study of renormalisation procedure by Bogolubov and Parasyuk. QFT Green functions are distributions and their product is ill-defined, thus their naive use results in apparent infinities.