For events , the Borel-Cantelli first lemma states that implies . Indeed,
These unions decrease to , so continuity from above proves the assertion.
The Borel-Cantelli second lemma states that independent events with satisfy . For every fixed , independence and give
Continuity from above shows there is probability zero of no event after . A countable union over gives probability zero of only finitely many occurrences. Independence is needed for this second conclusion, but not for the first.
At expiry, the difference of a European call and put with matching strike is . Linearity of pricing therefore makes their difference equal the forward-contract value from part (c):
A direct put-call parity replication gives the same result. Buy one unit of the commodity and deposit in the bank. Withdraw the fixed cash storage payments from this reserve; the reserve is exhausted at expiry, leaving one commodity unit. Its initial cost is . Borrow as well, leaving terminal value . The law of one price proves the parity identity. If , replace the storage reserve by .
The conditional mean solves with . Hence, for ,
The forward contract's terminal payoff is , so discounting this expectation gives its current value
For , the continuous limits are for the mean and for the contract value. A fair delivery price, as distinct from the current contract value, is the strike making this value zero: .
Use the auxiliary diffusion with generator . Applying Itô's formula to makes its drift zero by part (a), leaving only . Under the usual integrability conditions, localization and expectation give the Feynman-Kac formula
For polynomial-growth payoffs, the linear diffusion has the finite moments needed for this martingale argument. Its pricing drift includes the cash storage cost as an additive term.
The commodity's total gain from holding one unit is , because the storage cost is a fixed cash rate, not a proportional dividend yield. Form a locally self-financing delta hedge long the derivative and short units of the commodity. Itô's formula eliminates Brownian risk and leaves drift
Its value is , so absence of arbitrage makes that drift equal to . Therefore the Black-Scholes equation with constant cash storage costs is
The cash cost enters as , rather than as , because one unit costs per unit time regardless of its current price.
Put . Conditional on present information, is independent of the past and is normal with mean zero and variance . Part (c) gives
The future drift in this auxiliary stock is precisely the risk-neutral drift. Discounting the conditional expectation and applying the normal exponential-moment formula yields
At expiry this reduces to ; at time zero it gives . This is a special case of conditional power moments of a continuous geometric Asian average.
For , the two stock paths agree, so their geometric averages agree. For , the future log-price is
Split the average's log-integral into and . The first part is , while integration of the displayed formula gives
Dividing by and exponentiating proves

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact