Lemma A.3 (Bisection interval), p. 13 — the root of h lies in [λ₁(1 + √(v₁ᵀΣv₁)/ρ), λ₁(1 + √Tr[Σ]/ρ)]

Initializing...

Lemma A.3 (Bisection interval), p. 13 — the root of h lies in [λ₁(1 + √(v₁ᵀΣv₁)/ρ), λ₁(1 + √Tr[Σ]/ρ)] · Prove2Me