Phase diagram of the lattice Wess-Zumino model from rigorous lower bounds on the energy,