lim x * cos x as x -> pi