§5.3, pp. 20–21 — for k ≤ 1/2 free information raises the manufacturer's profit from Π^{NX_j}_M to Π^{SX_j}_M
ProvedCompetingChains.Cournot.manufacturer_gaincournot-competitioninformation-sharingp2o-batch-pfp2ap2o-gran-per-chapterp2o-plan-paperp2o-v1supply-chain
Let , , , , and let be manufacturer 's equilibrium ex-ante profit under Cournot competition. Then for each ,
When the retailer shares for free, the manufacturer strictly gains, so sharing is a strictly dominant choice for each manufacturer in the stage-one game when .
Formalization Note The page states the case , and the item keeps that hypothesis. The proof of Proposition 7 (p. 31) prints "" at this point; those two profits are equal, and the inequality needed there is this one.
Preamble
import Mathlib import Definitions.Def_CompetingChains_Cournot_Setting
Formal statement
namespace CompetingChains.Cournot
theorem manufacturer_gain (a c k γ t σsq : ℝ) (hk : 1 / 3 < k) (hk2 : k ≤ 1 / 2) (hγ0 : 0 ≤ γ)
(hγ1 : γ < 1) (ht : 0 < t) (hσ : 0 < σsq) :
∀ Xj : Arrangement, PiM a c k γ t σsq .N Xj < PiM a c k γ t σsq .S Xj := by sorry
end CompetingChains.Cournot
Source
Ha, Tian & Tong, Information Sharing in Competing Supply Chains with Production Cost Reduction (MSOM 2017, pre-published version), pp. 20–21, §5.3, third paragraph
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.