The min-of-maxes formula for the median of three numbers

Let the middle number of the three distinct real numbers $a,b$ and $c$ be $\text{mid}\{a,b,c\}$. Then $\text{mid}\{a,b,c\}=$