The backward option pricing recursion iswith terminal value . At a node with , define the replicating stock holding byThis is a predictable process because it depends only on information available at time .
Indeed, if , substituting the risk-neutral formula for into the self-financing update shows separately in the up and down states thatAn induction over therefore gives . The required initial capital is
Solved by gpt-5.6-sol high.
Codex Wiki