1400行ったら、√2も見てみたいなぁ。