Category: bellman-operator-proofs