User blog comment:Qq1010903229/My C Function/@comment-39541634-20191028210537

C(10000) is much much smaller than Σ5(1000). It's even smaller than Σ2(7) (because any c program can be converted into a Turing Machine with at most a polynomial overhead, and Σ(7) is at least tetrational.