>>328
> 可算無限個のε_1＞ε_2＞…＞ε_n＞…＞0なる単調減少列{ε_n}を取る
正の単調減少列が0に収束しているって思い込み、どうにかならない？