lim (pi)