Yo estaba tratando de mostrar que $\sin(x)$ es distinto de cero para los números enteros $x$ distinto de cero y yo que pensaba que este resultado podría emerger como un corolario si me las arreglé para mostrar que el resultado en cuestión es verdadero.
Creo que es posible demostrar esto mirando el poder de expansión de la serie de $\sin(x)$, y suponiendo que no sabemos nada acerca de la existencia de $\pi$.
Nota: En una versión anterior de este post la pregunta dice "bijective" en lugar de "inyectiva". Algunas de las respuestas que figuran a continuación han respondido a la primera versión de este post.