Lieb's square ice constant
 
x
OK