limit tan(t) as t -> pi/2 from the left