>>668
f(x) が存在するか未定義かを各xについて知ることを認めるならね.

でもその仮定はどうなの?