Teşekkürler. İspatın ikinci kısmı için
A kümesi üstten sınırlı ise A+c kümesi de üstten sınırlı olacağından
(\forall a \in A)(a+c \leq \sup(A+c)) \Rightarrow (\forall a \in A)(a \leq \sup(A+c)-c)
\Rightarrow \sup(A+c)-c \in A^{ü}
\Rightarrow \sup(A) \leq \sup(A+c)-c
\Rightarrow \sup(A)+c \leq \sup(A+c)
şeklinde bir ispat yapılabilir mi?
(Burada A^{Ü} gösteriminden kasıt A kümesinin üst sınırlarının oluşturduğu kümedir.)