User blog comment:LittlePeng9/Random Turing machines/@comment-10429372-20131016145522/@comment-5029411-20131221220524

Well? B(w,n) > f_{w^CK_1}(n)