Esto es un tanto complicado de manejar y no requiere el uso de Taylor Teorema, pero estrictamente no necesitamos nada de análisis complejo.
Deje $g(x) = f(x) - \sin x$ donde $f(x)$ es un polinomio. Es evidente que si podemos diferenciar $g(x)$ varias veces, la parte relativa a $f(x)$ desaparecerá ($(n + 1)^{\text{th}}$ derivada de un polinomio de grado $n$$0$) y la parte relativa a $\sin x$ va a tomar una de las cuatro formas de $\pm\cos x , \pm\sin x$ alternadamente. De esto se sigue que, para un determinado $x$ habrá un entero positivo $n$ que $g^{(n)}(x) \neq 0$.
Ahora considere una raíz $\alpha$$g$, de modo que $g(\alpha) = 0$. Desde el anterior argumento es obvio que existe al menos un entero positivo $n$ tal que $g^{(n)}(\alpha) \neq 0$ (de modo que $g(\alpha) = g'(\alpha) = \cdots = g^{(n - 1)}(\alpha) = 0$. Por Taylor Teorema tenemos $$g(\alpha + h) = \frac{h^{n}}{n!}g^{(n)}(\alpha) + o(h^{n})$$ and hence $g(\alpha + h) \neq 0$ for all sufficiently small values of $h$. Thus there is a neighborhood of $\alpha$ in which $g$ does not have any root other than $\alpha$.
A continuación podemos observar que si $f(x)$ es un polinomio de grado positivo, a continuación, como $x \to \infty$ o $x \to -\infty$ el polinomio $f(x)$ también tienden a $\pm\infty$ $\sin x$ seguirá siendo limitada. Por lo tanto, si hay alguna de las raíces de $g(x) = f(x) - \sin x$ que necesariamente se encuentran en algunos delimitada intervalo de tipo $[a, b]$. Si hay infinitamente muchas raíces de $g$ acostado en $[a, b]$, por Bolzano, Weierstrass Teorema del conjunto $A$ de las raíces de $g$ tiene un punto de acumulación $\beta \in [a, b]$. Así que hay una secuencia de raíces $\alpha_{n}$ $g$ tal que $\alpha_{n} \to \beta$$n \to \infty$. Entonces, por la continuidad de $g$ hemos $$g(\beta) = g(\lim_{n \to \infty}\alpha_{n}) = \lim_{n \to \infty}g(\alpha_{n}) = 0$$ so that $\beta$ is also a root of $g$. But then we reach a contradiction because we have proved earlier that each root of $g$ has a neighborhood in which there are no other roots of $g$ and $\beta$ being an accumulation point of roots of $g$ is such that every neighborhood of $\beta$ contains a root of $g$ other than $\beta$.
Por lo tanto el polinomio $f(x)$ deben ser de grado cero yo.e $f$ es una constante. Ahora claramente $\sin x = f(x)$ implica que el $f$ debe ser una constante entre los $-1$ $1$ (ambos inclusive).