" # assume a < b and n is a positive integer" . . . .