Writing up something else and just realised that this could easily be reframed not in residual spectrum $\implies$ approximate eigenvalue. The self-adjoint bit is entirely extraneous. Caliburn (talk) 15:01, 10 January 2024 (UTC)