I haven't got anythign back. Its a bit annoyign because I don't know if what I did in assignment 2 was really correct or I was just give 40 credits for the fun of it...
In my answer i said h(x) looks like the integer part of sqrt(2), so, if you want to use minimization (if the predicate is p.r., so is the minimization of it), you can minimize n for where{(n+1) > sqrt(2).x}
I'm just not sure about the sqrt(2) bit as we're only working with integers.
At least, that's my humble attempt. Also haven't got ass2 back yet (says it's returned on MyUNISA September 3rd but nothing in the mail yet).