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