Assignment:
Prove Theorem : if σ * is a Nash equilibrium in behavior strategies, then the pair (σ *, μσ * ) is sequentially rational in every information set U satisfying Pσ* (U) > 0.
Provide complete and step by step solution for the question and show calculations and use formulas.