如果证明:n+1<x<n+2的话,是不是用小集合推出大集合就行了?