Constructive quantum field theory, Bosons, Cluster expansions, Thermodynamic limit