A reasonably accurate model for the transistor's behavior, written in terms of the drain current, divides operation into linear and saturated. For the n-type transistor, what is the condition for?