. . . . "Weierstrass product inequality" . . . "Weierstrass product inequality" .