, since the value of the contract at any time is also nonnegative.
The CVA in this case is given by