Me parece que esto es mucho más sencillo de lo que lo estoy haciendo. Estoy buscando una función $y=f(x)$ tal que:
$f(1) = 1$
$f(2) = 1 $
$f(3) = 3 $
$f(4) = 3 $
$f(5) = 5 $
$f(6) = 5$
Es decir, todos los pares se convierten en el número impar anterior. ¿Existe esta función? Si es así, ¿cuál es? Por último, ¿cómo la escribiría un matemático?