Stationary Policies A lean proof that stationary policies can be optimal and can be computed using dynamic programming See https://marekpetrik.github.io/StationaryPolicies
