2は[0, 2)より大きい数全体のうちの最小値であることを示せ。