问答题
设，证明AR有界，使得，恒有.
证：充分性是显然的. 必要性：
写出AR下无界，上无界的定义.
证明：如果一个数集的上确界（或下确界）存在，那么它必定唯一.
问答题证明：如果一个数集的上确界（或下确界）存在，那么它必定唯一.
设P为正整数，且P2可被2整除，试证明P也可以被2整除.
问答题设P为正整数，且P2可被2整除，试证明P也可以被2整除.
R有界
，使得
，恒有
.
R下无界，上无界的定义.