P
Initializing...
`BookProof.HermiteExpWall.quadForm_scalaron_ge` (M alpha : ℝ) (hM : 0 < M) (halpha : 0 < alpha) (N : ℕ) : (M ^ 4 / (16 * alpha)) * ((8 * (Real.sqrt (2 / 3) / M) ^ 8 / 315) * (N : ℝ · Prove2Me