αを無理数、nを正の整数とする
このとき実変数実数値関数f(x)で
f(0)はαの整数部分
f(n)はαの小数第n位の数
f(x)は実数全体で可微分
となるものは存在するか?