Assume that n is even.
Then n can be expressed in the form n = 2k, where k is an integer.
Therefore, n/2 = k is also an integer.
But this contradicts the fact that n is odd.
Therefore, our initial assumption that n is even must be false, which means that n must be odd.