Proof of Theorem 2, p. 88 — sample-path submodularity: V₀((z₁+k₁, z₂+k₂)) − V₀((z₁, z₂+k₂)) ⩽ V₀((z₁+k₁, z₂)) − V₀((z₁, z₂))

Initializing...

Proof of Theorem 2, p. 88 — sample-path submodularity: V₀((z₁+k₁, z₂+k₂)) − V₀((z₁, z₂+k₂)) ⩽ V₀((z₁+k₁, z₂)) − V₀((z₁, z₂)) · Prove2Me