Thomae 函数（无理处连续，有理处不连续）。证明梗概。