Exercise 9.5 Suppose that default occurs independently of the state of the economy under the risk-neutral probability measure Q. Recalling that the upward probability p∗ of the economy under Q is given by (8.26), prove that

(9.13) holds.