This is the maximal real graph interval containing the initial point: the logarithm requires x<1+e−1, and the numeratorhas a nonzero limit at zero, so this particular solution cannot extend through zero. Differentiating xy=−ln(C−x) verifies xy′+y=1/(C−x)=exy.