User blog comment:Plain'N'Simple/A question for proof-theory experts/@comment-35470197-20191029224813/@comment-39541634-20191030222033

Hence the second part of my last question:

Do we have any reason to assume that L(n) doesn't grow much faster than E(n) in a typical case?