Abstract
A formula is given for the minimum eigenvalue of the operator of an infinitely long, one-dimensional anisotropic Heisenberg chain.