0618132人目の素数さん垢版2018/11/09(金) 00:58:49.51ID:twfbyLD1 とりあえず泥臭くていいなら Mに最小値がないとする。 単調減少列x[i]∈Mをlim X[i] = -∞ or lim x[i] = inf M ととれる。 このとき M ⊂ ∪ (x[i],∞) であるが有限個ではM全体を被覆しない。 Mが最小限mをもつとする。 被覆 M ⊂ ∪U[i] に対し x∈U[i0] である i0 をとれば M ⊂ U[i0] である。