fは実数を実数に写す関数とする。
実数x_0における、fの左上極限が右上極限よりも大きくなるx_0全体の集合は、高々可算であることを示せ。