sup 0.999....=1というわけですね