  The existence of Neel order in the S=1/2 Heisenberg model on the square
lattice at T=0 is shown using inequalities set up by Kennedy, Lieb and Shastry
in combination with high precision Quantum Monte Carlo data.
