Hola moirl.
Vas bien, en tu demostración —que por cierto te recomiendo que, con el tiempo, reproduzcas en tu mensaje para que sea de más fácil acceso y, de paso, para que practiques algo de \( \LaTeX \)— confundes el cero con el número real \( c \) con el que comienzas. Y al final no me queda claro si concluyes que existe \( x \) tal que \( f(x)=\color{blue}0 \) o si en lugar de cero es \( c \). Si reemplazamos la desigualdad \( f(x)>0 \) por \( f(x)>\color{blue}c \) y \( f(x)<0 \) por \( f(x)<\color{blue}c \) tu demostración estaría "casi bien", porque tienes una errata en la parte que escribes \( f(M-1)<c \); debería ser \( f({\color{blue}-M-1})<c \). Finalmente la conclusión es que existe \( x\in(-M-1,M+1) \) tal que \( f(x)=c \).
Otra observación es que el primer \( M \) (que existe) en tu demostración, no tiene por qué ser el mismo que el segundo \( M \). Puede encontrarse un número \( M \) que verifique las dos desigualdades (de tu demostración), pero a priori es más conveniente poner diferentes nombres a esas constantes.
Saludos,
Enrique.