In the following procedure, the parameter max is a positive integer.
PROCEDURE printNums(max)
{
count ← 1
REPEAT UNTIL(count > max)
{
DISPLAY(count)
count ← count + 2
}
}
Which of the following is the most appropriate documentation to appear with the printNums procedure?