证明:若对任意非正数c,有a小于等于b+c,则a小于等于b