I asked ChatGPT "Using latex, write a proof for the convergence of value iteration",
and then rendered its output. I had to fix a few typos with "^*" and things like that, but overall latex was ok.

The proof, however...
A good exercise for students would be to find the mistake!