Consider an operator $H=-\Delta +U(x)$ on $L^2(\mathbb R)$ for a function $U(x): \mathbb R \to \mathbb R$ that tends to $+\infty$ as $|x|$ grows. These kinds of operators appear all over non-relativistic quantum mechanics as Hamiltonians.
A statement that I have read is that such an operator has a discrete spectrum, and it was presented as being a standard result.
How can this be proven?
(I'm sorry if this is a lazy question, it seems to be common knowledge so one would expect proofs to abound like sand at the beach, but I couldn't find them on this website.)