lim lnx cos1 x