La función no está definida en \(x=1\). El intervalo más grande que contiene a \(0\) y evita ese punto es \((-\infty,1)\): la existencia que da el teorema es solo local.
El teorema de existencia y unicidad garantiza que un problema de valor inicial tiene solución única cerca del punto inicial, si la ecuación y su derivada parcial respecto de la incógnita son continuas ahí.
\[f,\ \frac{\partial f}{\partial y}\ \text{continuas cerca de }(x_0,y_0)\ \Longrightarrow\ \text{una única solución}\]
Más ejercicios de teorema de existencia y unicidad