User blog comment:Ikosarakt1/Coding strings as ordinals (for Friedman's n(k))/@comment-5529393-20130715142426/@comment-5529393-20130715163657

LittlePeng9:  Yes, thank you for that correction, we need to increment the first coefficient by one. If you give up on n(k+4) > F(k) let me know.