`BookProof.ChapterNumericalRangeCrouzeix.norm_pow_le_of_numRadiusLE` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) (n : ℕ) (hn : 0 < n) : ‖A ^ n‖ ≤ 2 * r ^ n

Initializing...

`BookProof.ChapterNumericalRangeCrouzeix.norm_pow_le_of_numRadiusLE` {A : E →L[ℂ] E} {r : ℝ} (hr : 0 ≤ r) (h : NumRadiusLE A r) (n : ℕ) (hn : 0 < n) : ‖A ^ n‖ ≤ 2 * r ^ n · Prove2Me