Renormalization Notes (Precise Statement)
Clarifying the order-by-order claim and the superficial degree of divergence.

Finite counterterm basis at fixed order

Power counting

Exponential term