[nom] Plus grand minorant. Pour un ensemble `X` de réels, l’infimum, s’il existe, est le plus grand réel inférieur ou égal à tous les réels de `X`. L’existence d’un infimum pour les parties bornées inférieurement est toujours vérifiée, et découle de la définition mathématique des nombres réels.