>>968
可算選択公理は発明した?
1/n->0を示すのに理屈がいるはず。