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