Proof Section to an Introduction to Reinforcement Learning for Understanding Infra-Bayesianism — AI Alignment Forum