 WKB quantization condition

For an oscillatory interval terminated by a hard boundary and a simple turning point, matching the boundary condition to the decaying solution gives an action integral equal to an integer multiple of $\pi$ with the turning-point phase correction.