添加新标签
实在下界

_

actual lower bound
Warning: Not approved!