Logarithmic mean 2026-10-20
For distinct positive real numbers , their logarithmic mean is , with continuous extension .