L^2ノルムで0.9999’=1は函数空間でも証明されてしまった。