User blog comment:LittlePeng9/Random Turing machines/@comment-10429372-20140808191119/@comment-10429372-20140808194414

I proved f_{w^^n}(k) < Hydra(n+3) < f_{w^^n}(k+1), so that's not a problem.