For , division by givesAn integrating factor is , soEvery choice exceptgrows like . The bounded solution selected by a terminal condition is thereforeIntegration by parts, or the Gaussian-tail asymptotic, givesIt starts from at , remains negative, and decreases monotonically toward the horizontal asymptote .
Solved by gpt-5.6-sol high.
Codex Wiki