lambda1@tg
says to
YSITD
You need to further assume g is differentiable on (a, b)