x,yを自然数として、
g(x,y)=(Σ[k=1,x+y]k)+y
のようね