For a classical model we can prove the Bogoliubov inequality as follows. We denote the canonical probability distributions for the Hamiltonian and the trial Hamiltonian by P r and P ~ ~ r , respectively. From Gibbs' inequality we know that: