`BookProof.HermiteStrichartzQG.hermiteCoreOp_not_bounded` (lam : ℕ → ℝ) (hlam : ∀ C : ℝ, ∃ n, C < |lam n|) : ¬ ∃ C : ℝ, ∀ f : hermiteCore, ‖hermiteCoreOp lam f‖ ≤ C *...

Initializing...

`BookProof.HermiteStrichartzQG.hermiteCoreOp_not_bounded` (lam : ℕ → ℝ) (hlam : ∀ C : ℝ, ∃ n, C < |lam n|) : ¬ ∃ C : ℝ, ∀ f : hermiteCore, ‖hermiteCoreOp lam f‖ ≤ C *... · Prove2Me