(a-a,a+a) に属するってだけじゃ inf=0 を否定できない
収束列だからそうなることはないが