mean, weighted, product, inequality, monotonicity