Set-valued and variational analysis Existence theories mathematics