should therefore hold approximately. If s is greater than y − r, an arbitrageur will find it
profitable to buy a riskless bond, short a corporate bond and sell the credit default swap.
If s is less than y − r, the arbitrageur will find it profitable to buy a corporate bond, buy
the credit default swap and short a riskless bond.