離散=有限というのは嘘では?