Dans le monde merveilleux de la combinatoire, la formule donnant le cardinal de l’union de plusieurs ensembles finis est un grand classique. Il est un peu moins connu qu’en ne conservant que les premiers termes de la formule en question, on obtient des inégalités, connues sous le nom d’inégalités de Bonferroni.
Les quantificateurs universel et existentiel ne peuvent pas être permutés en général. Cet article recense quelques cas où, de façon exceptionnelle, l'interversion se fait bien.
Pour établir une implication en mathématiques, le secret est de "viser la cible". Cet article explique de quoi il s'agit et comment procéder. Le tout s'appuie sur des exemples gradués, extraits de situations rencontrées dans les deux premières années d'enseignement supérieur scientifique.
La formule de Stirling décrit le comportement asymptotique de la factorielle d'un entier. Elle est surprenante en raison de la présence - pour le moins inattendue - des constantes π et e.