1. It satisfy constant C you choose;

2. Suppose it satisfy any integer n when X < n;

3. When X = n + 1, if n is odd, it satisfy n + 1;

if n is even, n + 1 is odd, [3 (n + 1) + 1] / 2 = 3 n / 2 + 2 is even,

then [3 n / 2 + 2] / 2  < n. The condition is satisfied.

4. If 3 n / 2 + 2 is not even, this can also be proved to satisfy, I have already proved it.

Now, you have a try, good luck!