Deriving the formula for harmonic mean