展开 勒贝格数存在定理