Better formula for value function
Better explanation of Bellman's equations and solution.
Split and enrichment of examples