From: Adam B. on
y'=-(x+1)y^2 + x
y(-1)=1

How would you prove that the solution to this problem is (globally)
defined on all of R?
Kind of lost on this one.

Thanks in advance