[20M](Proposto il 2022-11-24) Preso A⊆ℝ non vuoto, allora infA è l’unico numero 𝛼∈ℝ∪{−∞} che soddisfa queste due proprietà