limit sin x / (x cos x) as x -> infinitty