上限の必要十分条件