A student pointed out that for n = 2, g() can be called with -1
as the parameter.
Since -1 is not covered in the usual statement of the inductive hypothesis,
the simple thing to do is to make n = 2 an additional base case,
which is analyzed directly.
--Allen