Subnormalizers and the degree of nilpotence in finite groups

We present a CFSG-free proof of the fact that the degree of nilpotence of a finite nonnilpotent group is less than $1\mathrm{/}2$.