什么是实数大小比较的作差法?