Spectral positivity criterion for a self-adjoint operator ($A\ge 0⟺\sigma (A)\subseteq [0,\infty )$)

Positivity makes $A-z$ bounded below with dense closed range for every $z<0$, excluding negative spectral values. Conversely if the spectrum is nonnegative, $R=(I+A{)}^{-1}$ has spectrum in $[0,1]$ by the resolvent spectral mapping identity. The numerical-range endpoint approximate-eigenvalue theorem gives $0\le R\le I$, and positive-form Cauchy-Schwarz inequality gives $\Vert Rf{\Vert }^2\le ⟨Rf,f⟩$. For $u=Rf$, $⟨Au,u⟩=⟨Rf,f⟩-\Vert Rf{\Vert }^2\ge 0$.