My FM320 student Emily Wong spotted a typo in line 3, Example 4.5. The VaRs in the equation are missing a minus, and should be $$ 0 > - VaR_1 > -VaR_0$$