User blog comment:Alemagno12/Rayo and FOST/@comment-27513631-20160331011035

It's pretty easy to get n in less then kn symbols, for a relatively small k (and all n>0). As far as getting large numbers, its probably best to start with the BB or Xi function.