`BookProof.ChapterNumericalRangeCrouzeix.inner_polar_bound` {A : E →L[ℂ] E} {r : ℝ} (h : NumRadiusLE A r) (x y : E) : ‖(⟪A y, x⟫_ℂ)‖ ≤ r * (‖x‖ ^ 2 + ‖y‖ ^ 2)

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.inner_polar_bound` {A : E →L[ℂ] E} {r : ℝ} (h : NumRadiusLE A r) (x y : E) : ‖(⟪A y, x⟫_ℂ)‖ ≤ r * (‖x‖ ^ 2 + ‖y‖ ^ 2) · Prove2Me