Hey! :o
I want to show the following properties of Ackermann's function:
$A(x,y)>y$.
$A(x,y+1)>A(x,y)$.
If $y_2>y_1$, then $A(x,y_2)>A(x,y_1)$.
$A(x+1, y) \geq A(x,y+1)$.
$A(x,y)>x$.
If $x_2>x_1$, then $A(x_2, y)>A(x_1, y)$.
$A(x+2, y)>A(x,2y)$.
I have done the...