It is impossible to see where you have gone astray, if you have gone astray, because you show no work.
Actually, all of the proposed answers work if k = 0.
[MATH]k \in \mathbb Z^+ \implies n = 2^k > 1 \text { and } \dfrac{n}{2} \in \mathbb Z \implies [/MATH]
[MATH]\left \lfloor \dfrac{n}{2} \right \rfloor = \dfrac{n}{2} \implies f(n) = 2 * f\left(\dfrac{n}{2}\right) + 1 = n + 1.[/MATH] ...................[edited]
So you are correct. The answers do not work.
In fact for any even integer x, the result will be x + 1.