tan(x)はπで連続だろうか