标签:上限存在性探究