https://www.glc.us.es/~jalonso/calculemus/si-a-b-%e2%88%88-%e2%84%9d-entonces-2ab-%e2%89%a4-a%c2%b2-b%c2%b2/
Si a, b ∈ ℝ, entonces 2ab ≤ a² + b²