lambda1@tg says to YSITD
and that |g'(x)| <= K < 1