A function f from the set of natural numbers to integers defined by f(n)=⎧⎪ ⎪⎨⎪ ⎪⎩n−12 if n is oddn−12if n is evenis :