Sections / Section 13: Hierarchical Architecture / policyMargin_narrowing

Policy Margin Narrowing

theoremprovedHierarchy

Documentation

Lean 4 Proof

theorem policyMargin_narrowing {T1 T2 Tstar : ℝ} (h : T1 ≤ T2) :
    policyMargin T2 Tstar ≤ policyMargin T1 Tstar := by
  simp only [policyMargin]; linarith

Dependency Graph

Location

thesis/CESProofs/Hierarchy/MonetaryPolicy.lean:169

Module Section

Monetary Policy and the Liquidity Trap

In the same file

policyResponse policyResponse_nonneg policyResponse_pos_crossing liquidity_trap liquidity_trap_escape policy_ineffective_above_critical monetary_transmission_ordering institutional_amplification policyMargin policyMargin_pos_subcritical policyMargin_zero_at_critical complementary_sectors_smaller_margin