確率って必ずしも有理数とは限らないんですね。