>Proof: It all follows from applying the Banach fixed point theorem to the Bellman operator. I disagree. When people hate mathematicians, it's because of thing

>Proof: It all follows from applying the Banach fixed point theorem to the Bellman operator. I disagree. When people hate mathematicians, it's because of things like this. Why? Because it doesn't follow exclusively from the things listed. It also follows from the fact that c, T, A are bounded by the problem definition. Variable names in math confer no meaning, you can choose any variable name, hence you could have chosen an optimization problem that has no unique solution, simply out of spite. Now the counter to that is that the introduction covered the restrictions on c, A and T but why drop them in the proof?