 Herbrand function

The Herbrand function is a continuous strictly increasing piecewise linear function on the nonnegative reals. Its inverse is denoted ${\psi }_{L/K}$. It reparametrizes the lower ramification numbering to the upper ramification numbering.