weierstrass product inequality