Talk:Lieb's square ice constant