lieb's square ice constant