A function of two parameters whose value grows very fast. Formal Definition:

• A(0, j)=j+1 for j ≥ 0
• A(i, 0)=A(i-1, 1) for i > 0
• A(i, j)=A(i-1, A(i, j-1)) for i, j > 0