怎么样证明调和平均数恒小于或等于算术平均数?