lim(n to infinit) (lim (k to infinit) cos(n!x)^(2k) )