Exhibit a semigroup which has a minimal proper congruence, but no least proper congruence.
Let be a three-element zero semigroup. As we showed in this previous exercise, every equivalence relation on is a congruence.
The equivalences and (abusing notation; we give the classes rather than the pairs) are certainly minimal proper congruences, but . So has no least proper congruence.