g(t_1)>f(t_1)