lim ( 9 r .)