Existence, Uniqueness & Bifurcations · Superchallenge problem

Let $y(t)$ solve $y' = 1 - y^3$ with $y(0) = 0$. Evaluate $\displaystyle\int_0^\infty \big(1 - y(t)\big)\,dt$.