Enter a formula for verification
value f : int --> int variable x,y,z : int; x > y-1 /\ z >= x /\ y >= z --> f(z + y) = f(x + y)