 Weighted mean

For positive weights $w_i$, the weighted mean isIt lies between the smallest and largest $x_i$; the same result holds for integrals with a positive weight function.