Theorem 3.22 — D̲μ ≤ liminf (1/π) Im F(λ+iε) ≤ limsup (1/π) Im F(λ+iε) ≤ D̄μ

Initializing...

Theorem 3.22 — D̲μ ≤ liminf (1/π) Im F(λ+iε) ≤ limsup (1/π) Im F(λ+iε) ≤ D̄μ · Prove2Me