Lieb's square ice constant
Lieb's square ice constant is a mathematical constant used in the field of combinatorics to approximately count Eulerian orientations of grid graphs. It was introduced by Elliott H. Lieb in 1967.
Source: Wikipedia — Lieb's square ice constant (CC BY-SA 4.0)