displaystyle lim