TY - RPRT TI - An intertwined Cauchy--Schwarz-type inequality based on a Lagrange-type identity AU - Iosif Pinelis PY - 2023 UR - https://arxiv.org/abs/2303.03310 ID - 2303.03310 ER -