Theorem 14.2: under the wholesale price contract with the retailer under-orders,
ProvedSupplyChainTheory.wholesale_underordercontractsoperations-researchsupply-chainwholesale-price
Theorem 14.2. Under the wholesale price contract, if then : any maximizer of the retailer's profit is strictly smaller than any maximizer of the chain profit.
The retailer absorbs all of the overage risk but only part of the underage risk, since the supplier also pays a stockout penalty, so he orders less than the chain wants. The book omits the proof (Problem 14.6): the retailer's fractile exceeds the chain's when , and is nonincreasing. Only a continuous distribution function and a finite mean are needed.
Preamble
import Definitions.Def_SupplyChainTheory_contracts
Formal statement
namespace SupplyChainTheory
theorem wholesale_underorder (P : ContractData) (D : MeasureTheory.Measure ℝ) [MeasureTheory.IsProbabilityMeasure D]
[MeasureTheory.NullSingletonClass D] (hD : MeasureTheory.Integrable (fun x => x) D) (w : ℝ) (hw : P.cs < w)
(Qr Q0 : ℝ) (hr : IsMaxOn (retailerProfit P D (wholesaleTransfer w)) Set.univ Qr)
(h0 : IsMaxOn (chainProfit P D) Set.univ Q0) : Qr < Q0 := by sorry
end SupplyChainTheory
Source
Lawrence V. Snyder and Zuo-Jun Max Shen, Fundamentals of Supply Chain Theory, 2nd ed., Wiley 2019, DOI 10.1002/9781119584445, p. 570, Sect. 14.5, Theorem 14.2: 'Proof. Omitted; see Problem 14.6'
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.