The parameter space must be compact.

The log-likelihood must be concave.

The model must be identifiable and the log-likelihood must converge to its expectation.

The sample size $n$ must be infinite.