若n是正整数,有理数x、y满足x+[1/y]=0,则一定成立的是(  )