"n2 is an integer equal to or greater than or equal to 0," . . . .