Lieb's square ice constant

Lieb's square ice constant, denoted as \(K\), arises from the study of the square ice model, which is a two-dimensional statistical mechanics model. In this model, the configurations of the system consist of ice-like arrangements of spins on a square lattice.