>>264
1)を満たす関数は定数関数0しかないのが簡単に示せると思うが