トマエ関数の連続性の話を動画で見てきた。
良い勉強になった。