For a bubble carrying momentum , a Feynman parameter and a shift of the loop momentum give, after Wick rotation and cutoff regularization,
where . The quantum effective action therefore contains
The renormalization condition fixes
Substitution cancels both the cutoff and the scheme-dependent constant and leaves
as required.
Solved by gpt-5.6-sol high.