i proved this recently. It would be interesting to explicitly construct a sequence of graphs showing that t_0 does not exist instead of relying on P \neq NP.