Check existence of limit $$
\lim_{k\rightarrow\infty} \int_o^1 |\cos{(kx)}|\,dx
$$
$$
\int_o^1 |cos(kx)|\,dx = \frac{1}{k}\int_o^k |\cos{y}|\,dy =\frac{f(k)}{k} 
$$
where I used $y=kx$ and $f(x)=\int_0^x |\cos{y}|\,dy$.
How can I proceed or what would be the easier approach?

Let's split the unit interval range into the sets where $\cos $ is positive or negative:
$$[0,1] = \{ x: cos(kx) > 0 \} \cup  \{ x: cos(kx) < 0 \}$$
As $k \to \infty$, the positive and negative sets should be throughly mixed, and   $\cos (kx)$ should converge to a function violently oscillating between 0 and 1, with average value 1/2 
$$ \frac{1}{\pi} \int_{-\pi/2}^{\pi/2} \cos x \; dx = \frac{2}{\pi} $$
This can be proven rigorously with the Birkhoff Ergodic Theorem.

To summarize we replace the violent function $\cos kx$ with its average value
$$  \int_0^1 |\cos{(kx)}|\,dx \approx \int_0^1 \frac{2}{\pi} \; dx= \frac{2}{\pi}$$
I thought the integral is $\frac{1}{2}$, then I found the correct average.
