Theorem 14.5. Assuming that:

Then

δ (L ∕ K) \geq e_{L ∕ K} - 1

, with equality if and only if tamely ramified. In particular,

L ∕ K

unramified if and only if

D_{L ∕ K} = O_{L}