f(x)=lim_n→+∞{lim_m→+∞{cos(n!πx)}^2m }
じゃないのか?これなら結構有名なDirichletの関数ってやつだが