Hola
Prueba explícitamente la defnición caracterización de ínfimo. El punto (1) está bien.
En el (2) aunque la idea subyace en lo que dices prueba que: dado \( \epsilon>0 \) existe \( a\in A \) tal que \( 1\leq a<1+\epsilon \) (que es la propiedad que junto con la de ser cota inferior caracteriza al ínfimo).
Saludos.