Bounded below set pdf