結果 : dcf with terminal value example