Gibbs variational formula in terms of quantum relative entropy density

We prove the Gibbs variational formula for quantum lattice systems in terms of quantum relative entropy density. It is a natural quantum extension of the similar statement established by F\"ollmer for classical systems in 1973.