The case when x is rational is easier to see as m!x will be an integer from some value of m.
Cool formula 🤓
The other side, I guess the cos^2 is less than 1 so the limit is 0.