変分原理
$ H
の基底状態を
$ E_0
としたとき、
$ \langle\psi| H |\psi\rangle \ge E_0
となること。
$ E_0
が最小値なのだから当たり前な気がするが...