It is useful to rewrite the local lensing convergence as
For positive core radius, the requested limits are
A singular isothermal sphere lens instead has , which diverges at the centre. The finite core of the softened isothermal lensing potential regularizes this central lensing convergence; at large angular radius the two models have the same leading profile.