(109c), p. 25 — d⁻¹φ Σᵢ δᵢ²(‖σ‖ − m₁ + 2(‖σ‖ − σᵢ)) ≥ 0 for every σ ∈ ℝ^d

Initializing...

(109c), p. 25 — d⁻¹φ Σᵢ δᵢ²(‖σ‖ − m₁ + 2(‖σ‖ − σᵢ)) ≥ 0 for every σ ∈ ℝ^d · Prove2Me