User blog comment:Deedlit11/Okay, more Turing machines/@comment-10429372-20130927154129/@comment-10217029-20131008051213

When you get to f(w+1,n), it doesn't really matter what n is, as long as its bigger than say, 100. It would probably be easier to prove that Sigma(23)>f(w+2,10).