已知对于实数xy,x-1大于等于1