自明な上界を考える