実際1=0.999…の真偽を研究している人はいるのかな