The residual entropy per vertex of the square-ice model (six-vertex model with zero field), solved exactly by Lieb (1967).