What exactly is renormalization, why was it long considered unsatisfactory and how was it eventually proven to be mathematically sound?