theorem Th41: :: ACKERMAN:41

for g being NAT * -defined to-naturals homogeneous Function st arity g = 0 holds
AckermannFunction majorizes g