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

I did not spend a lot of time with this, so I'd like to ask about proof of mentioned inequality. Yes, I simply gave up.