For marginal utility pricing with proportional transaction costs, if almost surely or almost surely, the source's second alternative holds. Otherwise and . The Fatou lemma argument now gives at both ends, since a large positive holding loses on the first event and a large negative holding loses on the second. Let be a finite maximizer.
If , set . The derivative condition gives . As before, split according to to obtain integrability of from the absolutely integrable derivative, with a compact-set bound on the complement. If , use and obtain . In either case normalize ; then , , and is absolutely integrable.