User blog comment:Sait2000/Base-k Arrow Notation/@comment-10429372-20141216163525/@comment-1605058-20141216171257

How do you know the strength of this function? For me it's not even clear that this is always terminating.