{ "g""n" }は単調非増加なので、集合列{ "e""n" }は拡大列である。