Derivation of a Lower Bound on the Free Energy