4.9 Computing Nash Equilibrium