Existential minimum