# The integral of $\left|\frac{\cos x}x\right|$

I'm looking to determine whether the following function is unbounded or not: $$F(x) = \int_1^x\left|\frac{\cos t}{t}\right|\text{d} t$$ I can't seem to do much with it because of the $|\cos(t)|$. I thought of using the fact that $\int |f| \ge |\int f|$, but the problem is that the integral of $\frac{\cos t}t$ (without the absolute values) is bounded, and so that doesn't prove that $F(x)$ is unbounded or bounded. I tried re-expressing this as a cosine integral (the function $\text{Ci}(x)$) but to no avail. I'm not sure where else to go with this; the main problem seems to be the fact that its very difficult to derive an inequality with the $|\cos(t)|$ without a $|\cos(t)|$ on the other side of the inequality (or at least some trig function).

Any help would be appreciated.

• @Rustyn That doesn't prove anything. All it proves is that this function is less than an unbounded one, which doesn't say anything about whether or not $F(x)$ is bounded. – user3002473 Feb 4 '17 at 21:34
• One of the methods is such: consider the graph of the $\cos t/t$ and "hunches" on which the $x$ axis subdivide this graph. The area of each next hunch is less then of the previous and the sign is the opposite. But the series with alternating signs and monotonically decreasing term converges. Of course, this need to be made rigorous, and it can be. – Wolfram Feb 4 '17 at 21:36
• Sorry @user3002473, I didn't finish my comment. – Rustyn Feb 4 '17 at 21:39
• @Rustyn but the point is to prove that it is bounded by a constant – Wolfram Feb 4 '17 at 21:39
• I'm typing an answer right now, yes. – Wolfram Feb 4 '17 at 21:50

$$\int_{\pi/2 + k\pi}^{3\pi/2 + k\pi} \frac{| \cos t|}{t} \, dt \geqslant \frac{1}{3\pi/2 + k \pi}\int_{\pi/2 + k\pi}^{3\pi/2 + k\pi} |\cos t| \, dt = \frac{2}{3\pi/2 + k \pi}$$