User blog comment:King2218/Count to "infinity"!/@comment-3427444-20140927010624/@comment-24509095-20140927032827

Actually, HyperCalc

$$\text{CTI}(k) = k + (\lfloor\text{log}_4k\rfloor + 1)!$$