Let $A$ be a self-adjoint operator in a complex separable Hilbert space that is unbounded, but bounded from below, i.e.
$$\exists m>-\infty, ~\forall f\in D(A) \subsetneq \mathcal H , \langle Af, f \rangle \geq m \vert\vert f\vert\vert^2$$
Question: does the spectrum of $A$ have an infimum (lower bound)? My "gut feeling" is yes, it does, because it's completely counterintuitive if it didn't. So how can one prove it for an arbitrary $A$? I need this proof for an article I am writing, but I couldn't find it in the books that I've searched in.
I can even assert that $\inf \sigma (A) = \min \sigma (A)$, in other words the infimum (whose existence I am questioning) is actually a spectral value.