https://123dok.net/document/z1d4wmve-solving-optimal-stopping-problem-using-computer-algebra-systems.html