https://9lib.org/document/zpnd0p0y-newton-series-coinductively.html