User blog comment:Alemagno12/Beyond countable ordinals/@comment-26428969-20151121173540/@comment-26428969-20151121231001

in this case just take $$\omega[n]=Lib(n)$$. Then, $$f_{\omega+1}(n)=Lib^n(n)$$, obviously faster