[KaibaMath]1035 调和平均数的一个基本性质及证明

如果a>0, b>0, 那么f(a, b) = 1/(1/a+1/b)满足：0 < f(a, b) < min{a, b}. 这揭示了调和平均数的一个基本性质，下面给出证明。