Terminal Value Formula