Verify that y = (1)/(1+e^(-x)) solves y' = y(1-y)