please prove this:
<Ψ|H\overline{^}|Ψ>\geqE0
function |Ψ> is normalized.
prompt: (expand function |Ψ> in the eigenbasis of H operator, count average and use ortonormality of the H base)
exercise 5.2.2 , p.163 , "principles of quantum mechanics" Shankar