limit (1-cos x)/(tan x), x -> 0