generalization and refinement of Cauchy-Schwarz inequality, Wagner inequality