A bottoming function should have infinite arity