An evaluated power–logarithm expansion

If a limit is independently proved on an open $V\subset U$, all nonsummable coefficients restrict to zero there. This follows by applying the same dominance argument successively to tests supported in $V$. Their supports lie in $U\setminus V$. Support in $N$ requires the proved choice $V=U\setminus N$.