Robust pricing and hedging under trading restrictions and the emergence of local martingale models

We consider the pricing of derivatives in a setting with trading restrictions, but without any probabilistic assumptions on the underlying model, in discrete and continuous time. In particular, we assume that European put or call options are traded at certain maturities, and the forward price implied by these option prices may be strictly decreasing in time. In discrete time, when call options are traded, the short-selling restrictions ensure no arbitrage, and we show that classical duality holds between the smallest super-replication price and the supremum over expectations of the payoff over all supermartingale measures. More surprisingly in the case where the only vanilla options are put options, we show that there is a duality gap. Embedding the discrete time model into a continuous time setup, we make a connection with (strict) local-martingale models, and derive framework and results often seen in the literature on financial bubbles. This connection suggests a certain natural interpretation of many existing results in the literature on financial bubbles.


Introduction
The approach to pricing options through considering the dual problem of finding the expected value of the payoff under a risk-neutral measure is both classical and well understood. In a complete market setting, it is simply the way to compute the hedging price, as argued by Black and Scholes [5]. In incomplete markets, optimising over risk-neutral expectations allows the computation of the superhedging price, as argued by El Karoui and Quenez [17] and in the seminal work of Delbaen and Schachermayer [15]. Almost as classical is the problem of finding superhedging prices under various constraints on the set of admissible portfolios. Questions of this type arise in Cvitanić and Karatzas [12], where convex constraints in the hedging problem lead to a dual problem where one looks for the largest expectation of the payoff of the derivative in a class of auxiliary markets, where the auxiliary markets are a modification of the original markets reflecting the trading constraints. In the special case of markets where participants may not short sell assets, the class of auxiliary markets corresponds to the class of supermartingale measures. (For further results in this direction, see e.g. Jouini and Kallal [30], Cvitanić et al. [13], Pham and Touzi [35], Pulido [37].) In this paper, we combine trading constraints with concepts from robust derivative pricing. In robust pricing, one aims to minimise modelling assumptions by not pre-supposing the existence of a given probabilistic model for the underlying assets. Instead, we replace modelling assumptions by two weaker assumptions: first, we suppose that our observed realisation of the price process will lie in some set P of possible outcomes, e.g. the set of paths whose sum of squared differences is bounded by some given constant, or the continuous-time analogue, the set of paths with quadratic variation bounded by a given constant; second, we suppose that there are additional options which may be traded at time zero, for prices which are observed in the market. In this paper, we assume that the additional options which are traded are either European put or call options. In particular, we suppose that at fixed maturity dates, the prices of all puts/calls on the underlying are known. The presence of put and call options fixes the law of the process under the risk-neutral measure in any calibrated model-this is a fact first observed by Breeden and Litzenberger [7]and hence constrains the set of probability measures over which we optimise. There has recently been substantial interest in robust pricing problems with a literature that can be traced back to the seminal paper of Hobson [24]. The results in this paper are based on the discrete-time approach of Beiglböck et al. [4], where a duality result is shown using concepts from optimal transport.
In the discrete-time setting, our results can be summarised as follows. We suppose we are given a sequence of call price functions at maturity dates T 1 < T 2 < · · · < T n . We show that these prices are consistent with the absence of (suitably defined) arbitrage opportunities if and only if they give rise to a sequence of probability measures μ 1 , . . . , μ n on R + which satisfy natural ordering properties. These then, as explained above, correspond to the implied marginal distributions of the asset under feasible risk-neutral measures. (Note that here and throughout, we assume that all assets are denominated in units of some numeraire, for example discounted by the money market account.) Classically, the measures would be in convex order. However, in the absence of the ability to short sell the asset, it is not possible to generate an arbitrage when m k = xμ k (dx) > xμ k+1 (dx) = m k+1 , and so the expected value of the asset according to the (implied) risk-neutral measure may be smaller at later maturities. We then show that the minimal price of a portfolio involving call options and long positions in the asset, and which superhedges a derivative for every path in P, is equal to the supremum of the expected value of the derivative's payoff, where the supremum is taken over all supermartingale measures which have full support on P, and under which the law of the asset at T k is equal to μ k . This result generalises Corollary 1.1 in Beiglböck et al. [4] by including a restriction to a certain set of paths P and a short selling constraint. Observe also that in the case where the measures μ k all have the same mean, which is equal to the initial stock price s 0 , the class of supermartingale measures is simply the class of martingale measures.
We also consider the case where the set of call options is replaced by put options with the same maturities. Since short selling of the asset is not permitted, one cannot immediately compare to the case where the call options are available to trade, even if the set of possible implied marginal laws remains the same. In this case, we show that a duality gap arises when the initial asset price s 0 is strictly larger than the implied mean m k for some maturity T k . In particular, there is no longer equality between the cheapest superhedge and the largest model-consistent price-rather, we see a difference which can be characterised in terms of the limit behaviour of the put prices as the strike goes to infinity.
The easiest example of this duality gap arises in considering the difference between the implied price of a forward contract written on the asset-if we take the forward to be a contract which pays the holder the value of the asset at some future date T k , then the forward contract will have a model-implied price m k = xμ k (dx), which in the cases of interest will be strictly smaller than the initial price of the asset s 0 . In the case where call options are traded, the forward may be superhedged for m k using call options (the call option with strike 0 has the same payoff as the forward). In the case where put options are traded, this is not the case-instead, the cheapest superreplicating strategy will simply be to purchase the asset at time 0, which has cost s 0 .
Historically, there has been relatively little study in the literature of asset prices which are strict supermartingales 1 under the risk-neutral measure. Their main appearance has been as models for the study of financial bubbles, where strict local martingales are considered. We believe that our results, both in discrete time and in continuous time, contribute to and provide a novel perspective on the existing literature on financial bubbles.
In mathematical finance, the modelling of financial bubbles using local martingale models can be traced back to Heston et al. [23], with subsequent contributions including Cox and Hobson [10], Jarrow et al. [28,29]. Our work also has interesting parallels to the recent work of Herdegen and Schweizer [22]. Before Heston et al. [23], a number of authors observed that in certain circumstances, models which were only strict local martingales arise naturally and/or are interesting of their own right (and can be attributed some financial interpretation); see Lewis [31], Delbaen and Schachermayer [16], Loewenstein and Willard [32], Sin [39]. One of the most common examples of a naturally occurring class of local martingale models is the class of CEV models, dS t = S α t dB t , S 0 = s 0 , where α > 1. In the case where α = 2, one recovers the inverse of a 3-dimensional Bessel process, which was studied in Delbaen and Schachermayer [16]. More recently, quadratic normal volatility (QNV) models have also been studied, which are mostly strict local martingales, but typically calibrate well to market data; see Carr et al. [9].
We build our contribution to this literature by embedding the discrete-time results into a continuous-time framework. Consider a continuous-time market with dynamic trading in the asset and call or put options traded initially for certain fixed maturities. Then the discrete setup is naturally included by considering trading strategies which only rebalance at the maturity dates of the options. Discrete-time supermartingale measures are obtained as projections of local martingale measures which meet the given marginals. The duality gap is preserved when put options trade, and this gap has a possible interpretation as a financial bubble. To make this generalisation, it is necessary to introduce a pathwise superhedging requirement which enforces a collateral requirement. A similar requirement has already been considered in Cox and Hobson [10]. We therefore believe that an important consequence of this paper is the following interpretation of local martingale models in financial applications: local martingale models naturally arise due to trading constraints.
This has an impact on the existing literature on financial bubbles: intrinsically, we believe that models where asset prices are strict local martingales (under a risk-neutral measure) are models which arise due to constraints on possible trading strategies. They thus correspond exactly to rational or speculative bubbles in the asset pricing and economics literature. These are usually driven by short selling constraints and/or disagreement between the agents on the fundamental values due to heterogenous beliefs or overconfidence; see Hugonnier [26], Harrison and Kreps [20], and Scheinkman and Xiong [38]. Strict local martingale models are a very natural class of models for bubbles, since there is a natural notion of a 'fundamental' price which diverges from the traded price. However, as we show, this divergence is 'rational' and driven by the absence of arbitrage combined with trading restrictions, as in speculative bubbles. This is different from the case of an 'irrational bubble' when divergence between the market price of an asset and its fundamental price is driven by some behavioural aspect of market participants, rather than specific market features. In this sense, an important contribution of this article for the literature on bubbles is to divorce any notions of 'irrationality' from the financial study of strict local martingale models.
We also make the observation that although we present results on local martingale models in continuous time, our approach is firmly rooted in a discrete-time setup, and all pricing results in continuous time follow essentially from the corresponding discrete-time results. One interpretation is that these models therefore are the natural discrete-time analogues of local martingale models (in this sense, our results provide an alternative response to the criticism that local martingale models for bubbles are only a feature of continuous-time models, as discussed in Protter [36,Sect. 11]; see also Jarrow and Protter [27]). However, it seems to us that the implication more naturally runs in the other direction: in discrete time, our models are very natural and easily specified. In continuous time, however, local martingales are very subtle processes, and the difference between a local martingale and a martingale is not easy to detect-our paper provides a clear specification of a discrete-time setup which could be interpreted in continuous time as a local martingale model. As a result, in our setup, local martingale phenomena arise naturally, and reflect specific market conditions. This contrasts with the arguments of e.g. Guasoni and Rasonyi [19], who argue against local martingale models on the basis that they can always be approximated by martingale models.
Short selling bans as a regulatory tool to discourage speculation and stabilise markets have proved to be popular among emerging markets and during times of financial crisis. During the US subprime mortgage crisis, short selling of 797 financial stocks in US markets was banned by the SEC between September 19, 2008 andOctober 8, 2008. Around the same time, the South Korean Financial Supervisory Commission imposed an outright prohibition of short selling of any listed stocks in an attempt to curb the spread of malignant rumours in the market. The ban was lifted for nonfinancial stocks about a year later, while the constraints on financial stocks remained until November 2013. Interestingly, the US and South Korea both have very active derivatives markets, and in both examples, the bans on short selling did not extend to derivative markets. This allowed market makers and investors to use options to hedge portfolios and express pessimistic views. In light of a series of short selling bans across the globe, the question of their impact on stocks and derivatives markets is once again a matter of concern to academics and policy makers; see e.g. Battalio and Schultz [2], Hendershott et al. [21]. The current paper thus represents a theoretical contribution to this literature. Battalio and Schultz [2] study the US short selling ban in September 2008 and find that synthetic share prices for banned stocks, computed separately for puts and for calls, become significantly lower than the actual share prices, accompanied by increases in bid-ask spreads. The findings correspond to the setting of our paper with m k < s 0 , making it particularly interesting.
Finally, we note that in parallel to our research, Fahim and Huang [18] and Bayraktar and Zhou [3] considered discrete-time robust pricing and hedging with trading restrictions. Fahim and Huang [18] use concepts from optimal martingale transport but assume a market input in the form of distributions μ i already satisfying a set of assumptions which in our paper are characterised in terms of arbitrage opportunities. Bayraktar and Zhou [3] adopt the quasi-sure analysis of Bouchard and Nutz [6] with finitely many traded options. As a result, in both cases the pricing-hedging duality holds and no links are made to modelling of financial bubbles in discrete or continuous time. The focus of both papers is on general convex portfolio constraints. This paper is organised as follows. Section 2 discusses the robust modelling framework in discrete time. Sections 3 and 4 specialise respectively to the case when call or put options are traded. The latter in particular explores when a duality gap arises. Subsequently, Sect. 5 focuses on the continuous-time setup. Several proofs are relegated to the Appendix.

Robust framework for pricing and hedging
We consider a financial market with two assets: a risky asset S and a numeraire (e.g. the money market account). All prices are denominated in the units of the numeraire. In particular, the numeraire's price is thus normalised and equal to one. We assume initially that S is traded discretely in time at dates 0 = T 0 < T 1 < T 2 < · · · < T n = T . This is extended to a continuous-time setup in Sect. 5. The asset starts at S 0 = s 0 > 0 and is assumed to be nonnegative. We work on the canonical space with a fixed starting point Ω = {(ω 0 , . . . , ω n ) ∈ R n+1 + : ω 0 = s 0 }. The coordinate process on Ω is denoted by S = (S i ) n i=0 , i.e., and F = (F i ) n i=0 is its natural filtration, F i = σ (S 0 , . . . , S i ) for any i = 0, . . . , n. We pursue here a robust approach and do not postulate any probability measure which would specify the dynamics for S. Instead we assume that there is a set X of market-traded options with prices P(X), X ∈ X , known at time zero. The trading is frictionless, and options in X may be bought or sold at time zero at their known prices. Hence we extend P to a linear operator defined on As explained above, the numeraire has a constant price equal to one. Finally, the risky asset S may be traded at any T i , i = 0, . . . , n; however, short selling is not allowed.
We consider two cases, namely when X is composed of call options or of put options: An admissible (semi-static) trading strategy is a pair (X, Δ), where X ∈ Lin(X ) and Δ = (Δ j ) are bounded nonnegative measurable functions Δ j : R j + → R + , j = 0, . . . , n − 1. Here and throughout, R 0 + := {0}, which simply means that Δ 0 is a nonnegative constant. The total payoff associated to (X, Δ) is given by The cost of following such a trading strategy is equal to the cost of setting up its static part, i.e., of buying the options at time zero, and is equal to P(X). We denote the class of admissible (semi-static) trading strategies by A X . We write A c (resp., A p ) for the case X = X c (resp., X = X p ). Note that since short selling is not allowed, these are genuinely different and, as we shall see, give very different results. Indeed, note that in the former, the short selling of call options is allowed, including the strike zero, i.e., the forward, providing a superreplication of the asset S, possibly at a strictly cheaper price than s 0 . This feature is not present when dealing with put options.
We are interested in characterising and computing superhedging prices. All the quantities we have introduced are defined pathwise and the superhedging property is also required to hold pathwise. We have also made only mild assumptions on the market mechanisms (e.g. no frictions), but no specific modelling assumptions on the dynamics of the assets. A natural way to incorporate beliefs into the robust framework is through specifying the set P ⊂ Ω of "possible paths", i.e., paths we deem feasible and for which the hedging strategies are required to work. This can be thought of as specifying the maximal support of the plausible models. In this way, with the support ranging from all paths to e.g. paths in a binomial model, the robust framework can interpolate between model-independent and model-specific setups. The set P might be obtained through time series analysis of past data combined with modelling and a given agent's idiosyncratic views, and is referred to as the prediction set. Note that since there is no probability measure specified and hence no distinction between the real and the risk-neutral measure, it is very natural to combine two streams of information: time series of past data and forward-looking option prices. This idea goes back to [34] and we refer to Hou and Obłój [25] and Spoida [40] for more details and extended discussion.
We call the triplet (X , P, P) of market traded options X , their prices P and prediction set P the robust modelling input. The fundamental financial notions defined below, e.g. arbitrage or the superreplication price, are implicitly relative to these inputs.

Definition 2.1
The superreplication cost of a derivative given by a payoff function G : Ω → R, denoted by V X ,P,P (G), is the smallest initial capital required to finance an admissible semi-static trading strategy which superreplicates G for every path in P, i.e., V X ,P,P (G) := inf{P(X) : ∃(X, Δ) ∈ A X such that Ψ X,Δ ≥ G on P}.
Note that since ω 0 = s 0 for all ω ∈ Ω, it is equivalent to see G as a function from Ω or from R n + . We shall be tacitly switching between these viewpoints; the former is used when writing G = G(S), the latter when imposing conditions on G, see e.g.
Our aim is to understand when a pricing-hedging duality holds, i.e., when the superreplication price can be computed through the supremum of expectations of the payoff over a suitable class of probabilistic models.
where here and throughout, we make the convention that ∞ − ∞ = −∞ so that the left-hand side (LHS) in (2.1) is always well defined. The set of market-calibrated models is denoted by M − X ,P,P .

Remark 2.3
It follows from the definition that if M − X ,P,P = ∅, then for any Borel function G : Ω → R, We sometimes refer to the LHS of the above inequality as the primal value and to the RHS as the dual value. This convention is borrowed from the literature on the martingale optimal transport problem. Both sides of (2.2) could be interpreted as a notion of "price" of the asset. The superhedging price V X ,P,P (G) arises from (efficient) trading. The primal value P X ,P,P (G) arises from modelling. Indeed, it represents the worst model price, among models consistent with the prices observed in the market, and can be thought of as the fundamental price of G. We also emphasise that either or both of these may be different from the market prices, which are observable and equal to s 0 for the dynamically traded asset and to P(X) for X ∈ X . The case of strict inequality in (2.2) admits an interpretation as a financial bubble-an issue we consider in detail further below.

Remark 2.4
It follows from the definition that under any market-calibrated model P, the canonical process S = (S i ) n i=1 is a supermartingale. Such a measure is called a supermartingale measure. Furthermore, for any X ∈ X , (2.1) holds for both (X, 0) and (−X, 0) so that P is calibrated to options in X , i.e., P satisfies E P [X] = P(X) for any X ∈ X . Definition 2. 5 We say there is a robust uniformly strong arbitrage if there exists a trading strategy (X, Δ) ∈ A X with a negative price P(X) < 0 and a nonnegative payoff Ψ X,Δ (s) ≥ 0 for all s ∈ P.
Remark 2.6 By definition, it is clear that the market admits a robust uniformly strong arbitrage if and only if V X ,P,P (0) < 0. When P = Ω, the notion of robust uniformly strong arbitrage corresponds to a model-independent arbitrage; see Davis and Hobson [14] and Cox and Obłój [11]. In a general robust setting, the existence of an arbitrage in the above sense may depend on the modelling assumptions, expressed through P ⊂ Ω, which justifies the terminology. Equally, we stress that the arbitrage is required to be uniform in outcomes s ∈ P to distinguish from a slightly weaker notion, used in Acciaio et al. [1], of a strategy (X, Δ) ∈ A X with P(X) ≤ 0 and a positive payoff Ψ X,Δ (s) > 0, for all s ∈ P. We refer to the latter as robust strong arbitrage. The two notions are not equivalent in general. However, we can show that they are equivalent in our setup when X = X p . Likewise, when X = X c , we can show they are equivalent when either P = Ω or property (iii) in Condition 3.1 below holds.
The three papers mentioned in the above remark also show that typically absence of robust uniformly strong arbitrage is not sufficient to guarantee that a (robust) fundamental theorem of asset pricing holds, and introduce various weaker notions or additional assumptions. Here we follow Cox and Obłój [11]: Definition 2. 7 We say that there is a weak free lunch with vanishing risk (WFLVR) if there exist admissible trading strategies (X k , Δ k ) ∈ A X and (X, Δ) ∈ A X such that Ψ X k ,Δ k → 0 pointwise on P, lim k P(X k ) is well defined with lim k P(X k ) < 0 and Ψ X k ,Δ k ≥ Ψ X,Δ .
Note that the requirement that lim k P(X k ) exists is made with no loss of generality as we could always pass to a subsequence of strategies. Note also that a robust uniformly strong arbitrage is by definition also a WFLVR. A version of the fundamental theorem of asset pricing in our context, given below in Proposition 3.2 for the case X = X c and in Proposition 4.2 for the case X = X p , states that absence of WFLVR is equivalent to existence of a market-calibrated model. Further, as in Davis and Hobson [14] and Cox and Obłój [11], we can characterise absence of WFLVR through the properties of P. This is insightful and is one of the reasons why we prefer to keep the option payoffs fixed, e.g. call options in X c , and discuss their prices P, as opposed to considering shifted payoffs X − P(X) and eliminating P from the discussion as in e.g. Acciaio et al. [1].

Robust pricing-hedging duality when call options trade
In this section, we consider the market in which call options are traded, i.e., X = X c . Our main result states that we recover the duality known from the case when short selling restrictions are not present. Throughout we assume that P is a closed subset of Ω.

Market input and no arbitrage
We start by establishing a robust fundamental theorem of asset pricing for our setting which links absence of arbitrage, properties of call prices, and existence of a marketcalibrated model.
A robust fundamental theorem of asset pricing in our setup reads as follows. In consequence, when these conditions hold but Condition 3.1(iii) fails, there is no robust uniformly strong arbitrage, but a market-calibrated model does not exist.
We defer the proofs of Propositions 3.2 and 3.3 to Sects. 6.2 and 6.4.

Remark 3.4
If we assume that there is no robust uniformly strong arbitrage, then we can immediately deduce that is a robust uniformly strong arbitrage.

Robust pricing-hedging duality and (super-)martingale optimal transport
Our main theorem in Sect. 3 states that the pricing-hedging duality is preserved under a ban on short selling when call options are traded.

Theorem 3.5 Suppose that the market input (X c , P, P) admits no WFLVR. Let
Then the pricing-hedging duality holds, i.e., Remark 3.6 Our proof of this result closely follows Beiglböck et al. [4] and is an application of the duality theory from optimal transport, which allows us to express the dual problem as a min-max calculus of variations problem, where the infimum is taken over functions corresponding to the delta hedging terms and marginal constraint, and the supremum is taken over all market-calibrated models. The proof is given in Sects. 6.3 and 6.5.

Remark 3.7
Recall from Remark 2.3 that the case of strict inequality in (2.2) may be thought of as a natural model for a financial bubble. From (3.2), we see that this never happens when call options are traded, X = X c . It is still possible that so that the market price for the asset S, which is s 0 , is strictly greater than its fundamental price c n (0). However, it is not clear if this could be seen as a bubble. In this case, the market does not satisfy the no dominance principle of Merton [33]: the asset S n is strictly dominated by a call with zero strike. This situation is akin to the case of bubbles in complete markets described in Jarrow et al. [28]. We shall see in Sect. 4.2 below that bubbles appear in a meaningful way when put options and not call options are traded.
Note that by Proposition 3.2, no WFLVR is equivalent to M − X c ,P,P = ∅ and implies Condition 3.1. Following classical arguments going back to Breeden and Litzenberger [7], we can then define probability measures μ i on R + by Naturally the market prices P, or c i (K), are uniquely encoded via μ i with To make the link with the (super-)martingale transport explicit, we may think of (μ i ) as the inputs. Note that by Remark 2.4, the set of market-calibrated models M − X c ,P,P is simply the set of probability measures P on R n + such that S 0 = s 0 , S is a supermartingale and S i is distributed according to the measure μ i . Accordingly we use the notation M − X c ,P,P = M − μ,P and P μ, . Note that we have dropped the explicit reference to call options. This is justified since in fact we can allow any μ i -integrable functions for the static part of trading strategies. To state this as a corollary, we first rewrite Condition 3.1 in terms of μ 1 , . . . , μ n as follows: 1≤i≤n is nonincreasing for any concave and nondecreasing function φ : R → R + .
Then Theorem 3.5 may be restated as follows.

4)
where Proof By taking expectations in the pathwise superhedging inequality, we have for any P ∈ M − μ,P and any superhedging strategy ((u i ), (Δ i )) as in (3.4) that and hence the inequality "≤" in the first equality in (3.4) follows; see also Remark 2.3. The inequality "≤" in the second equality in (3.4) is obvious because we take the infimum over a smaller set of superhedging strategies. The result (3.4) then follows by Theorem 3.5. The last statement is clear since in the special case that μ 1 , . . . , μ n have the same mean, M − μ,P is the set of martingale measures with marginals μ i .
Remark 3.10 Note that (3.4) is a generalisation of Corollary 1.1 in Beiglböck et al. [4] to a setup including a prediction set P and with marginals having nonincreasing means. The implication of Corollary 3.9 is that in our setup corresponding to a market without bubbles, a ban on short selling does not make any difference to the robust superhedging prices, and the martingale transport cost of G with prediction set P is equal to the robust (P)-superhedging price of G.

Put options as hedging instruments
We specify now to the case X = X p when put options are traded. The set of semistatic trading strategies (X, Δ) is denoted by A p . In this case, the options cannot be used to superreplicate the asset. This, as we shall see, has important consequences for pricing and hedging.

Pricing-hedging duality for options with bounded payoffs
We start with a brief discussion of the market input, no arbitrage, and existence of market-calibrated models.
A robust fundamental theorem of asset pricing analogous to the one in Proposition 3.2 holds also in this setup. A direct analogue of Proposition 3.3 holds also in this setup. Further, if Condition 4.1 is satisfied, similarly to (3.3), we can define probability measures μ i on R + by which satisfy the same properties as before, namely Assumption 3.8. The set of market-calibrated models is simply M − X p ,P,P = M − μ,P and only depends on the marginals μ i and not on whether these were derived from put or from call prices. In consequence, we have P X p ,P,P (G) = P μ,P (G).
The situation on the dual side-the superhedging problem-is different. Indeed, we have seen in Corollary 3.9 that in the case of call options, we could relax the static part of the portfolio from combinations of call options to combinations of any functions with linear growth without affecting the superhedging price. In contrast, when put options are traded, their combinations are always bounded and such a relaxation is not possible. We stress this in the notation and write V (p) μ,P (G) := V X p ,P,P (G). Our first result shows that when G is bounded, then trading puts instead of calls has no impact on the superhedging price, as one would expect.  (4. 2) The proof is given in Sects. 6.3 and 6.5 and is similar to the proof of Theorem 3.5. The above result may be extended to functions G which are not necessarily bounded, but have sublinear growth. We state one such extension which is used later. In contrast, the duality in (4.2) will fail for G which have linear growth-a theme we explore in the subsequent sections.

Duality gap and bubbles
We come back to the topic of financial bubbles considered in Remarks 2.3 and 3.7. We start with a motivating example of a simple one-period model, n = 1. The prediction set is of the form P = {s 0 } × P 1 for some P 1 ⊂ R + . We assume the market admits no WFLVR, which is equivalent to saying that μ defined via (4.1) is a probability measure supported on P 1 and satisfies xμ(dx) ≤ s 0 . We assume the prediction set P 1 is unbounded and consider an option with an upper semi-continuous payoff function G : R + → [−∞, ∞) such that |G(x)| ≤ K|x| for some K and let lim sup A semi-static trading strategy (X, Δ) ∈ A p here is a pair with X ∈ X p and Δ ≥ 0. If it superreplicates G, i.e., It follows that if the mean of μ is strictly smaller than s 0 , then we have a duality gap for G with linear growth. The intuitive reason is clear: buying the asset di-rectly is implicitly more expensive than constructing a position using put options. If G has a bounded payoff, then the latter is feasible as seen in Theorem 4.3. However, for G with a linear growth, any superhedging portfolio has to include the asset S and is hence more expensive, as seen above. When G(s 1 ) = (s 1 − K) + , lim sup x→∞, x∈P 1 G(x)/x = 1 and we obtain Likewise, taking G(s 1 ) = s 1 , we have The market has a bubble-a misalignment of market and fundamental prices-if the forward price f 0 implied by the put options is strictly smaller than the spot price s 0 . This should be contrasted with the situation in Remark 3.7, where the bubble arose due to dominated assets. The difference between these situations can be summarised as follows: in order to have a financially meaningful market, we must always have the inequalities market price ≥ cheapest superreplication price ≥ sup{model-implied prices} = fundamental price.
The first inequality here follows from the fact that we can superreplicate an asset by purchasing it, and we may have a strict inequality without creating an arbitrage opportunity if it is not possible (due to portfolio constraints) to short sell the asset. However, in the case where there is a strict inequality here, the market contains a dominating portfolio-that is, the superreplicating strategy strictly dominates the purchase of the asset at the market price, and so Merton's no dominance principle fails. In general, one would not expect such markets to exist-even if arbitrage were not possible, one would expect equilibrium to close the gap, since no (rational) market participants would purchase the asset at its market price. On the other hand, the second inequality here is rational-there is no a priori need for the superreplication price and the model-implied price to agree.
As a result, markets where the fundamental price and the market price differ for some assets, but where the fundamental price and the superreplication price always agree, are mathematically possible, even if they are not economically plausible. This corresponds to the setup described in Sect. 3. A second case is also possible, and economically more plausible, where the superreplication price of an asset coincides with its market price but is different from the fundamental price. This corresponds to the setup described in Sect. 4. One of the main contributions of this paper is that we provide specific characterisations of markets where both behaviours are possible.
In a more classical framework, the two cases described above are encapsulated in the difference between the complete setting of Cox and Hobson [10] and Jarrow et al. [28], and the incomplete models of Jarrow et al. [29]. In the former, completeness of the market implies that equality always holds between the cost of the cheapest superreplicating strategy for an option and the model-implied price of the option. In contrast, in the latter, Merton's no-dominance condition implies that the inequality between the market price and the superreplication price is an equality. However, in Jarrow et al. [29], the existence of a bubble depends on the choice of some pricing measure to determine the "market-price". In the current (robust) setting, we are able to define the fundamental price in a concrete way (dependent only on the market prices and the prediction set), leading to a possibly clearer characterisation of a bubble, which does not need some external "selection" procedure.
We now extend the above discussion to a general n-marginal setting. In the oneperiod case above, any G was a European option and the size of the gap between its market and fundamental prices was given simply as a product of its linear growth coefficient and the bubble size s 0 − f 0 . In the general setting, we cannot compute explicitly the duality gap for an arbitrary payoff G. We give below a characterisation which then allows us to obtain explicit expressions for most of the typically traded exotic options.

More generally, the result remains true if there exists a sequence (0, β (N ) ) ∈ A p such that G β (N) (S) is upper semi-continuous, bounded from above on P for every N , and G β (N) (S) → G β (S) pointwise as N → ∞.
The proof is reported in Sect. 6.6. Here we show how the above result applies in the case of an Asian or a lookback option when P = Ω. This yields β i = (n − i)/n for i = 0, . . . , n − 1. It is clear that is continuous and bounded from above. Therefore, by Theorem 4.5,

Example 2
The second example we consider is a lookback option with a knock-in feature, whose payoff function G : R n + → R + is given by In particular, when B = ∞, it is just a lookback call option with strike K. By (4.4),  It is not hard to see that As shown in the lookback option example above, the duality gap is not only dependent on G and the marginal distributions μ i , but also on how the μ i are (optimally) transported. In the case that P is a strict subset of Ω, it may become increasingly hard to calculate β and check the assumption of Theorem 4.5. We develop now an argument which connects asymptotically the duality gap of G in the presence of a prediction set and the duality gaps of penalised functions of G in the absence of a prediction set. In particular, it provides an alternative way to compute the duality gap when P is an arbitrary closed set.
Under this assumption, we argue first that if P μ,P (G) = −∞, then V (p) μ,P (G) = −∞. By Proposition 4.2, absence of WFLVR is equivalent to M − X p ,P,P = ∅. It follows from the sublinearity of V (p) μ,P and Theorem 4.3 that From now on, we make the additional assumption that P μ, where λ P (S) := (1 + S 1 + · · · + S n )1 {(S 1 ,...,S n )/ ∈P} is as in (6.8). Then note that Indeed, the inequality "≤" is clear. On the other hand, "≥" follows from the fact that G (N ) is decreasing in N , and given any ( Since P is closed, −1 {(S 1 ,...,S n )/ ∈P} is an upper semi-continuous function and hence G (N ) is upper semi-continuous. Then the problem is reduced to the case that P = Ω, for which we have a formula to calculate the duality gap if the contingent claim satisfies all the assumptions in Theorem 4.5. Now let It follows by (4.5) that In addition, we can deduce that where the first equality is achieved by using the min-max theorem [42,Corollary 2] and the second holds as Hence, the limit of (γ N ) exists and by writing γ = lim N →∞ γ N , we have

Continuous time: local martingales, bubbles and pricing
We now turn to continuous-time models and explore the link between option prices, trading constraints, speculative bubbles and strict local martingales. Let Ω = D([0, T ], R + ) be the space of nonnegative right-continuous functions with left limits on [0, T ] and S = (S t : t ≤ T ) the canonical process on Ω with (F t ) denoting its natural filtration. Now let us consider the case when put options are traded for n ≥ 1 maturities 0 < T 1 < · · · < T n = T , We need to impose some assumptions on the prediction set P.
The first condition corresponds to P being closed under stopping and will imply that any superhedging strategy in fact satisfies a collateral requirement; see Remark 5.2 below. The second point is technical and will enable us to compare the continuous-time setting to the discrete-time setting.
There are several possible choices for the class of admissible dynamic trading strategies. They typically lead to the same superhedging price, provided the admissible class is large enough, but to different sets of market-calibrated models. Here, to make the connection with the discrete-time setup clearer, we consider dynamic trading strategies Δ which are predictable piecewise constant processes with finitely many jumps. More precisely, we consider Δ : [0, T ] × Ω → R + such that for any ω ∈ Ω, Δ(ω) : [0, T ] → R + is a simple nonnegative function (piecewise constant with finitely many jumps) and for any t ∈ [0, T ] and for any ω 1 , ω 2 ∈ Ω such that ω 1 (s) = ω 2 (s) for s ∈ [0, t), we have Δ t (ω 1 ) = Δ t (ω 2 ). We call such Δ admissible and write Δ ∈ A. Note that for Δ ∈ A, the stochastic integral t 0 Δ u− dS u is a sum and hence defined pathwise.
An admissible semi-static trading strategy is a pair (X, Δ) with a linear combination of put options X(ω) = a 0 + m i=1 a i X i (ω), m ≥ 0, a i ∈ R, X i ∈ X p , and Δ ∈ A. Its payoff at time T is given by We recall that the family of admissible semi-static trading strategies is denoted by A p = A X p and that the superreplication price V X p ,P,P is given in Definition 2.1.

Remark 5.2
Note that because P is closed under stopping (cf. Assumption 5.1), it follows that if (X, Δ) ∈ A p superhedges G on P, then in fact where S t = (S u∧t : u ≤ T ). In other words, (X, Δ) satisfies a collateral requirement. As we shall see below, this feature will contribute towards the emergence of bubbles.
Static trading arguments, as in the proof of Proposition 3.2, show that absence of WFLVR implies that p i (K) satisfy the properties listed in Condition 4.1, and hence we can use (4.1) to define probability measures μ = (μ i ) n i=1 which satisfy Assumption 3.8. The set of market-calibrated models M − X ,P,P is given as in Definition 2.2. Note that Remark 2.3 is in force, with the convention ∞ − ∞ = −∞. Finally, let M loc μ,P denote the set of all calibrated local martingale measures on (Ω, F T ), i.e., all P such that S is a P-local martingale and It is easy to see that M − X ,P,P is the set of measures P under which S T i ∼ μ and S is a P-supermartingale and in particular M loc μ,P ⊂ M − X ,P,P . Consider now a European option with payoff G(ω) = G(ω T n ), or more generally an upper semi-continuous G(ω) = G(ω T 1 , . . . , ω T n ). We can then compare the present setting to that of a discrete n-period model with traded put options at prices P, where short selling is prohibited, and with a prediction set P T , as considered in Sect. 4. Denote the corresponding primal and dual values by P d X p ,P,P T and V d X p ,P,P T . Note that the discrete superhedging problem naturally embeds into the continuous-time one. A discrete-time trading strategy corresponds to a nonnegative (Δ t ) constant on every [T i , T i+1 ) for i = 0, . . . , n − 1, which is in A. On the primal side, for any P ∈ M loc μ,P , the vector (S 0 , S T 1 , . . . , S T n ) is a market-calibrated discretetime model; so for G as above, continuous-time calibrated models are embedded in discrete ones. In summary, In some cases, we can establish an equality in the first inequality. For example, when then any discrete-time market model may be seen as a continuous-time one with the asset being constant on any [T i , T i+1 ). We can then conclude that there is no duality gap in the continuous-time setting from Theorem 4.3 and Corollary 4.4 in discrete time. However, our prime interest is in the case when the pricing-hedging duality fails. We can use the results of Sect. 4.2 to understand the case of European options.
We first give two remarks before proving the above result. The correction is equal to β + (s 0 − f 0 ). This is the same correction as exhibited in Cox and Hobson [10,Theorem 5.2]; see also Sect. 6.1 in Jarrow et al. [29]. In Cox and Hobson [10], the bubble was driven by a collateral requirement and a strict local martingale property. While the former is a natural trading restriction, the latter appears artificial. In our robust framework, a bubble is triggered by trading restrictions and properties of market prices of options. The difference is that we take market prices as given and adopt a robust framework. A bubble arises when these prices are misaligned with the asset price, s 0 > f 0 , while an arbitrage does not arise because of the trading restrictions. In our setup, the trading restrictions take the form of a short selling ban and, as highlighted in Remark 5.2 above, a collateral requirement.

Remark 5.5
The assumption M loc μ,P = ∅ is an implicit assumption on P and market prices. It is satisfied e.g. when P is equal to all paths, or all continuous paths, which start in s 0 , and put prices p i (K) satisfy the properties listed in Condition 4.1. The latter is equivalent to μ = (μ i ) n i=1 , defined via (4.1), satisfying Assumption 3.8.
Proof of Proposition 5.3 As explained above, we can directly compare the continuous-time setting with a discrete-time setting from Sect. 4 with the same put prices and prediction set Using (4.3), which is a one-marginal result, we immediately have and hence we conclude that Consider a superhedging strategy (X, Δ) and P ∈ M loc μ,P with a reducing sequence (τ n ) for S under P. If G(S T ∧τ n ) > 0, it follows from (5.1) and G − ≥ 0 that Otherwise, G(S T ∧τ n ) ≤ 0 and then Therefore, ≤0} . We note thatΔ ∈ A and hence the expectation of the integral is nonpositive under P. Further, τ n ∧ T = T for n large enough (which may depend on the path) and X is bounded so that we may apply the dominated convergence theorem to conclude that lim sup and hence the LHS in (5.3) is a lower bound on V X p ,P,P (G). Finally, we compute this lower bound and compare it with (5.2). Note that for any > 0, G(s) − (β − )s is bounded from below on P T . It follows, applying Fatou's lemma and noting that P ∈ M loc μ,P implies that S T and S T ∧τ n are almost surely in P T , that We conclude that the upper bound in (5.2) coincides with the lower bound obtained by taking 0 and the infimum over superhedging strategies in (5.3), as required.
The above statement may be extended to G which depend on the values of the asset at the intermediate maturities, i.e. G(S) = G(S T 1 , . . . , S T n ), by using Theorem 4.5. We do not pursue this here.
such that 0 ≤ f k ≤ 1 A and f k ↑ 1 A . Therefore, the dominated convergence theorem implies that

Now consider an arbitrary open set
Finally, if A ⊆ R j + is a Borel set, then by Corollary 3.12 in Bruckner et al. [8], for ev- Lemma 6.2 For a closed P ⊆ Ω, the set M − μ,P is compact in the weak topology.
Proof Since M − μ,P is a subset of the compact set Π μ , it suffices to prove that M − μ,P is a closed subset of Π μ . By Lemma 6.1, Therefore, by Lemma 2.2 in Beiglböck et al. [4], M − μ is a closed subset of Π μ in the weak topology.
To show M − μ,P is a closed subset of M − μ , we take any sequence (Q n ) in M μ such that Q n [P] = 1 and Q n → Q for some Q ∈ M μ as n → ∞. Then by weak convergence of measures, for P ⊆ Ω closed, Q[P] ≥ lim sup n→∞ Q n [P] = 1. It follows that M μ,P is a closed subset of M μ and hence closed in Π μ in the weak topology.
To prove Theorems 3.5 and 4.3, we use the following version of the Monge-Kantorovich duality theorem, which is essentially Proposition 2.1 in Beiglböck et al. [4]. The proposition is rewritten here to suit the notation and purpose of this paper.

Lemma 6.3 For any G that is upper semi-continuous and bounded from above, we have
Further, the result remains true with o = c for any upper semi-continuous G that satisfies Condition 3.1.
The call option case is just Proposition 2.1 in Beiglböck et al. [4]. The put option case follows from (A.1) in the proof of Proposition 2.1 in Beiglböck et al. [4], which in our notation simply states that for any G that is upper semi-continuous and bounded from above, Note that given any f ∈ C b (R + , R), > 0 and i = 1, . . . , n, there is some u : R + → R of the form a 0 + m j =1 a j (K j − s j ) + with u ≥ f and (u − f )dμ i < . Therefore, we may change the class of admissible functions in (6.3) from C b (R + , R) to u : R + → R taking the form a 0 + m j =1 a j (K j − s) + .

Proofs of the FTAP in the setting with traded calls or puts: case where P = Ω
The proofs of Propositions 3.2 and 4.2 are virtually identical; so we only give the proof of Proposition 3.2. We include with it the proof of Proposition 3.3. In this section, we only give the proof in the case where P = Ω. This allows us then to prove Theorem 3.5 when P = Ω which in turn is used to establish the results when P Ω.
Step 1. "∃ MCM (market-calibrated model) =⇒ no WFLVR". First we show that the existence of a market-calibrated model implies no WFLVR. Fix a market-calibrated model P and any (X k , Δ k ) ∈ A X and (X, Δ) ∈ A X such that Ψ X k ,Δ k → 0 pointwise on P, lim k P(X k ) is well defined and Ψ X k ,Δ k ≥ Ψ X,Δ . Then by Fatou's lemma, we get Step 2. "no WFLVR =⇒ Condition 3.1". It is straightforward and classical that the absence of a robust uniformly strong arbitrage implies Condition 3.1(i) and (ii). Note that since the c i (·) are convex, c i (0+) is well defined. Let α i := lim K→∞ c i (K) which is well defined by Condition 3.1(i) with α i ≥ 0 for any i = 1, . . . , n. If α i > 0 for some i = 1, . . . , n, then (X k , (0)) with X k = −(S i − k) + is a WFLVR since X k → 0 pointwise as k → ∞ and P(X k ) = −c i (k) → −α i < 0. If Condition 3.1(iv) is violated, then for some K ∈ R + and i, Then (X, Δ) is a robust uniformly strong arbitrage since Ψ X,Δ ≥ 0, but P(X) < 0. We conclude that no WFLVR implies Condition 3.1. Moreover, absence of a robust uniformly strong arbitrage implies Condition 3.1(i), (ii) and (iv).
Step 3. "If P = Ω then Condition 3.1 =⇒ ∃ MCM". Next we show that Condition 3.1 implies the existence of a market-calibrated model when P = Ω. It follows from Condition 3.1(i)-(iii) that we can derive from the observed prices of call options probability measures μ = (μ 1 , . . . , μ n ) with μ i on (R + , B(R + )) such that for any i = 1, . . . , n and K ∈ R + , where B(R + ) is the Borel σ -algebra of R + . In fact, due to Breeden and Litzenberger [7], μ i can be defined via In addition, given μ 1 , . . . , μ n derived from the observed market prices of call options, Strassen's theorem [41] states that Condition 3.1(iv) holds if and only if for any convex nonincreasing function φ : R + → R, the sequence ( φ dμ i ) i≥1 is nondecreasing, which is the necessary and sufficient condition for the existence of a nonnegative supermartingale having marginals μ 1 , . . . , μ n . Therefore, when P = Ω, the absence of WFLVR implies the existence of a market-calibrated model which happens if and only if Condition 3.1 is satisfied.
Step 4. "Additional arguments for Proposition 3.3". Given the above steps, to show Proposition 3.3, it remains to argue that Condition 3.1(i), (ii) and (iv) imply that there is no robust uniformly strong arbitrage when P = Ω. Suppose to the contrary that there exists a semi-static strategy (X, Δ) such that Ψ X,Δ ≥ 0 and P(X) < < 0. As X is a finite linear combination of elements of X c , we let K max be the largest among the strikes of call options present in X. Then, for any δ > 0 small enough, there exists a sequence of functions (c Note that if c i (0+) = 0, then c j ≡ c j (0) for any j ≥ i. Then |c i (K) − c i (K)| ≤ δ/2 for K ≤ K max , and for δ sufficiently small, (c i ) n i=1 satisfies Condition 3.1(i)-(iv) andc i (K) −c i (0) is strictly decreasing in i for K ∈ (0, K max ]. Then, for any i ≤ n, we can find a convex, decreasing function c (δ) i which approximatesc i arbitrarily closely on [0, K max ] and satisfies c (δ) By the arguments above, with P (δ) corresponding to prices (c (δ) i ), P (δ) and (c (δ) i ) satisfy no WFLVR and hence there is no robust uniformly strong arbitrage, so P (δ) (X) ≥ 0. However, we can take δ small enough so that |P(X) − P (δ) (X)| < /2 which gives the desired contradiction and completes the proof of Proposition 3.3.

Proof of Theorems 3.5 and 4.3: case where P = Ω and G is bounded
We now give the proof of Theorems 3.5 and 4.3 for bounded and upper semicontinuous G in the case where P = Ω. In this case, we can apply Proposition 3.2 or 4.2. The proof of the general case will be postponed. Since the proof of Theorem 4.3 is virtually identical to that of Theorem 3.5, we only give the proof of Theorem 3.5.
Proof of Theorem 3. 5 We first prove Theorem 3.5 for bounded and upper semicontinuous G in the case where P = Ω.
By Proposition 3.2 in the case where P = Ω, absence of WFLVR is equivalent to M − X c ,P,Ω = 0, for which to hold Condition 3.1 is both necessary and sufficient. Following the classical arguments in Breeden and Litzenberger [7], by defining probability measures μ i on R + via μ i ([0, K]) = 1 + c i (K) for K ∈ R + , we can encode the market prices P, or c i (K), via μ i with c i (K) = P((S i − K) + ) = (s − K) + μ i (ds). Hence M − X c ,P,Ω = M − μ . By Remark 2.3, to show (3.2), it suffices to show V X c ,P,Ω (G) ≤ P X c ,P,Ω (G).
It is clear that if Δ j ∈ C c (R j + , R + ) for every j , then G Δ (S) is upper semi-continuous and bounded, and hence satisfies (3.1). We can deduce that where the equality between (6.4) and (6.5) is guaranteed by Lemma 6.3. In order to justify the equality between (6.5) and (6.6), we apply the min-max theorem (see Terkelsen [42,Corollary 2]) to the compact convex set Π μ , the convex set R + × C c (R + , R + ) × · · · × C c (R n−1 + , R + ), and the function (s 1 , . . . , s n ).
Clearly, f is affine in each of the variables. Furthermore, by the Portmanteau theorem, f (·, (Δ j )) is upper semi-continuous on Π μ . Therefore, the assumptions of Corollary 2 in Terkelsen [42]  Since G is bounded and Therefore, in the LHS of (6.7), it suffices to consider π ∈ M − μ and then

Completing the proof of Proposition 3.2
In this section, we complete the proof of Proposition 3.2 in the case where P Ω.
Step 5. "no WFLVR =⇒ ∃ MCM". It remains to argue that when P is a closed subset of Ω such that P Ω and Condition 3.1 is satisfied, the non-existence of a market-calibrated model concentrated on P implies the existence of a WFLVR. In fact, in this case, there is a robust uniformly strong arbitrage. Define a lower semi-continuous function λ P : R n + → R by λ P (s 1 , . . . , s n ) = 1 {(s 1 ,...,s n )/ ∈P} . (6.8) Then we apply Theorem 3.5 to the prediction set Ω and −λ P and find that If α = 0, then there exists a sequence (P k ) in M − X c ,P,Ω such that P k [P c ] → 0. By Lemma 6.2, M − X c ,P,Ω is compact and closed. Hence (P k ) k∈N has a subsequence converging to some P ∈ M − X c ,P,Ω . In fact, by weak convergence of measures, P[P c ] = 0 and hence P ∈ M − X c ,P,P . This shows that the absence of a market-calibrated model concentrated on P implies α < 0 and therefore the existence of a robust uniformly strong arbitrage (and hence WFLVR). Together with the results of Sect. 6.2, this completes the proof of Proposition 3.2.
With the proof of Proposition 3.2 established, we are now able to give a proof of Theorem 3.5 in the general case where P = Ω.

Completing the proof of Theorems 3.5 and 4.3: case where P ⊆ Ω
We now complete the proof of Theorems 3.5 and 4.3 for G satisfying (3.1) in the case where P ⊆ Ω. Again, since they are virtually identical, we only give the proof of Theorem 3.5 here.
If (3.2) holds for G, then (3.2) is still true for any functionG = G + X with X of the form a 0 + n i=1 a i (S i − K i ) + . Therefore, without loss of generality, we may and do assume that G is bounded from above.
Recall from (6.8) that λ P (s 1 , . . . , s n ) = 1 {(s 1 ,...,s n )/ ∈P} is bounded and lower semicontinuous and hence G ∨ (−N) − Nλ P is bounded and upper semi-continuous for each N ∈ N. We also notice that V X c ,P,P (G) ≤ V X c ,P,Ω G ∨ (−N) − Nλ P for each N ∈ N, since any superreplicating portfolio of G ∨ (−N) − Nλ P on Ω naturally superreplicates G on P. Thus Define G P by G P = G on P and −∞ elsewhere. Note that G P is the pointwise limit of G ∨ (−N) − Nλ P as N → ∞. Then by Fatou's lemma, Therefore, we have V X c ,P,P (G) ≤ P X c ,P,P (G), which together with Remark 2.3 leads us to conclude that V X c ,P,P (G) = P X c ,P,P (G).

Proof of Theorem 4.5
Proof Given a semi-static superreplicating strategy (X, Δ), we have by definition for any (s 1 , . . . , s n ) ∈ P that X(s 1 , . . . , s n ) + We start with the following Claim If (X, Δ) is a semi-static superreplicating strategy of G on the prediction set P, then Δ j ≥ β j for any i = 0, . . . , n − 1.
We prove the claim by induction. When j = n − 1, we fix s n−1 := (s 1 , . . . , s n−1 ). Letting s n ∈ P(s n−1 , n) := {x : (s 1 , . . . , s n−1 , x) ∈ P} go to infinity, it follows from (6.9) that If P(s n−1 , i +1) is unbounded, then by taking x ∈ P(s n−1 , i +1) to infinity, (6.9) implies This ends the induction and the proof of the claim. It follows from the claim above that for any (X, Δ) ∈ A p that superreplicates G on P and any P ∈ M − μ,P , we have For the converse inequality, we let B b (R d + , R + ) be the set of bounded measurable functions f : R d + → R + and denote by Z the collection of all tuples of functions (Δ j ) n−1 j =0 ∈ R + × B b (R + , R + ) × · · · × B b (R n−1 + , R + ) such that is upper semi-continuous and bounded from above on P. Note that Z is a convex subset of R + × B b (R + , R + ) × · · · × B b (R n−1 + , R + ). Then we can apply the min-max theorem from Terkelsen [42,Corollary 2]  Clearly, f is affine in each variable and by the Portmanteau theorem f (· , (Δ j )) is upper semi-continuous on M − μ,P . So the assumptions of Corollary 2 in Terkelsen [42] are satisfied, and we find that where the inequality between (6.11) and (6.12) is by restricting the delta-hedging terms to a smaller set, and the equality between (6.12) and (6.13) follows from Theorem 4.3.
To conclude, from the assumption we know there exists a sequence (β (N ) ) in Z such that G β (