Chap5 Lack Math Proof

[anyinlover]

Thanks for great book, but it seems there are no math proof for MC Exploring Starts and MC-Greedy algorithms?

[MathFoundationRL]

These two algos are variants of MC Basic, whose convergence can be inferred from the policy iteration algo. The introduction of many tricks makes the convergence analysis difficult, which is also the reason why I introduced MC Basic first.