“Existence and uniqueness of solutions to the Bellman equation in stochastic dynamic programming”