Bounded solution selected by a terminal condition (source code)

= Bounded solution selected by a terminal condition

For a first-order linear equation whose homogeneous solution grows at infinity, boundedness fixes the integration constant by rewriting the particular integral as a tail integral from the current point to infinity.