  For Schrodinger operators with suitable 1D potentials, focussing particularly
on those that go to infinity at infinity, a characteristic function is
constructed, via shooting functions. It is proved to be entire and its zeroes
to be the eigenvalues.
