 SIR first integral

For $s>0$, the SIR model equations have the first integral of an ordinary differential equationHere $\ln$ is the natural logarithm. A short proof outline is to use the chain rule and substitute the SIR model equations:The SIR first integral gives $i$ directly from $s$, so it describes the curve in a phase portrait even before its time parametrization is known.