Doubt about Cauchy-Lipshitz theorem use I'll show my doubt with the Cauchy problem $\begin{cases} y'=1+y^2  \\ y(0)=0 \end{cases}$. I know the solution is $y(t)=tg(t)$, but let's say I don't know the explicit solution. If I look at $1+y^2$, then I have all the hypothesis for the application of Cauchy-Lipshitz Theorem in $[0, 2\pi]$ for instance, because it is lipshitz there (or not?). So I have a unique solution in $[0,2\pi]$, but now if I wonder if I can prolong the solution, how can I understand that in fact I cannot prolong the solution to $2\pi$ but at best to $\pi/2$ without solving  the differential equation?
I mean, where do I commit a mistake in using the Cauchy-Lipshitz Theorem? If you have some other (not simple like mine) examples that have the same problem, I would like to see how to solve them in the right way. Thanks for the help.
 A: Here is the statement of Cauchy-Lipschitz:
Suppose we are given an ODE, $$y'(t) = f(y(t)), \ \ \ \ \ \ \ y(0) = y_0,$$ 
where $f$ is a real function defined for $y \in [y_0 - b, y_0 + b]$, obeying the boundedness condition
$$ |f(y)| \leq  m,$$
and obeying the Lipschitz condition
$$|f(y_1) - f(y_2)| \leq k |y_1 - y_2 |.$$
Then for any
$$a < \min \left(\tfrac b m, \tfrac 1 k \right),$$
there exists a unique solution $y(t)$ to the ODE, valid for $t \in [-a, a]$, with $y(t)$ taking values in the range $[y_0 - b, y_0 + b]$.
Note that Cauchy-Lipschitz does NOT give us a solution for all values of $t$! It only gives us a solution for $t$ in the range $[-a, a]$, where $a$ is restricted by (i) the range of $y$ on which $f(y)$ is defined compared to how big $f(y)$ gets on this range of $y$, and by (ii) how "contracting" the function $f(y)$ is.
Let's now apply this theorem to our ODE. In our ODE, $f(y) = 1 + y^2$ and $y_0 = 0$. For the time being, let us fix a value of $b$ (so we are looking for solutions such that $y(t)$ always stays within the interval $[-b,b]$ at all values of $t$.)
On the interval $[-b,b]$, we have
$$ |f(y)| \leq 1 + b^2,$$
so $|f(y)|$ is bounded by $m = 1 + b^2$. Furthermore,
$$ |f'(y)| = 2|y| \leq 2b,$$
so, by the mean value theorem, we learn that $f$ is $k$-Lipschitz with $ k = 2b.$
Taking $$a < \min \left( \tfrac{b}{1 + b^2}, \tfrac 1 {2b} \right) = \begin{cases} \tfrac{b}{1 + b^2} & b \in (0, 1); \\ \tfrac 1 {2b} & b \in (1,\infty),\end{cases}$$ Cauchy-Lipschitz tells us that there exists a solution, valid for $t \in [-a, a]$, which takes values within the range $y(t) \in [-b,b]$.
The largest possible bound on $a$ is obtained when we take $b = 1$: in this case, we learn that there exists a solution valid for $t \in (-\tfrac 1 2, \tfrac 1 2)$ (and this solution takes values in the range $y(t) \in [-1,1]$, though this is less interesting).
In fact, the solution is
$$ y(t) = \tan t,$$
which is valid for $t \in (- \tfrac \pi 2, \tfrac \pi 2)$. So our method of applying Cauchy-Lipschitz has given us an under-estimate for the range of $t$ on which the solution is valid.
A: 
So I have a unique solution in $[0,2\pi]$...

False. We have only local existence:

$$\cdots$$
Then, for some value $\epsilon > 0$, there exists a unique solution $y(t)$ to the initial value problem on the interval $[t_0-\epsilon ,t_0+\epsilon]$￼.

