Wisconsin Center of Actuarial Excellence Technology Enhanced Learning
The redemption value payment is a one-time payment so we just have to discount it back 30 terms using the semiannual rate, hence the use of v^30. Here's a review of the annuity and v equations. The rest is simple...