Footnote 36, p. 15 — α̂₂(A) < α̂₁(A) for 0 < A < 1/4
ProvedImperfectTargeting.CostlessAds.footnote36_alpha_hat2_lt_alpha_hat1p2o-batch-pfp2ap2o-gran-per-chapterp2o-plan-paperp2o-v1targeting-precisionthreshold
Let , and . Then
With costless advertising the equilibrium in which both firms target group survives on a smaller range of targeting precisions than at high advertising costs, where the threshold is .
Formalization Note The footnote states only ; the hypothesis is the model's standing assumption (§3). At both thresholds equal .
Preamble
import Mathlib import Definitions.Def_ImperfectTargeting_CostlessAds_PricingGame import Definitions.Def_ImperfectTargeting_CostlessAds_Setting open MeasureTheory
Formal statement
namespace ImperfectTargeting.CostlessAds
theorem footnote36_alpha_hat2_lt_alpha_hat1 (A : ℝ) (hA0 : 0 < A) (hA : A < 1 / 4) :
αhat2 A < αhat1 A := by sorry
end ImperfectTargeting.CostlessAds
Source
Karle & Reisinger, Imperfect Targeting and Advertising Strategies, SSRN 4626076 (March 25, 2024), p. 15, footnote 36
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.