有界性判定
发布人