$\dot{x}=4y^3+2x$
$\dot{y}=-4x^3-2y-\cos{x}$
Do I have to prove that the solution is Lipschitz so that it doesn't grow to infinity in an interval or is that a way to solve the system, which gives me the explicit solution and then i see that it's well defined for all t>0? How can i proceed?