设f(x)在数集X上有定义,试证f(x)在上有界的充分必要条件是它在X上既有上界又有下界