lim(ctgx) as x to 0-