The backward option pricing recursion is
with terminal value . At a node with , define the replicating stock holding by
This 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 that
An induction over therefore gives . The required initial capital is
Now . The local risk-neutral up probabilities solve . They are
The terminal payoff of the European put option with strike is at stock prices . Backward option pricing gives time-one values
and hence
The first-period stock holding in the replicating portfolio in a binomial market is
Thus the hedge initially shorts of a share.