lim 1x-5  as x -> 5