上界がある