Bounding a variable value

See e.g.