>>113
10進表示された無限小数の無理数について
無限小数の中に数字の1(など)が現れる小数点以下の位の
最大値をMとすれば、背理法が使える