Minimal normal subgroup with order greater than index is characteristic
From Groupprops
Statement
For an arbitrary group
A Minimal normal subgroup (?) of a group, such that the order of the subgroup is greater than its index, must be a Characteristic subgroup (?).
For a finite group
A minimal normal subgroup of a finite group, whose order is more than the squareroot of the order of the group, is characteristic.