非负实数有何性质