A の元じゃなくていいやん・・・。
x<m なる x は A の上界ではないということ。