Un minorée par racine de 2 = strictement supérieur ou supérieur ou égal???

[benpotter]

Bonjour, j'ai une suite Un. On me demande de montrer que Un est minorée par racine de 2.
Je démontre par récurrence ok, ça fonctionne, ok mais la proposition Un initiale est elle :
Un 'supérieur ou égal' à racine de 2
ou Un "strictement supérieur" à racine de 2
-----

[DSCH]

La définition d’une minoration est avec une inégalité large (ceci car en général, en analyse, on préfère manipuler des inégalités larges, qui passent à la limite, et n’utiliser des strictes que lorsque c’est nécessaire).

[DSCH]

Bonjour, j'ai une suite Un. […] la proposition Un

En passant, attention à ne pas confondre nombre et proposition.