Let $a_1,a_2,a_3$ be given numbers in $[0,2\pi]$. I am interested in showing there exists $x\in[0,2\pi]$ such that $\dfrac{1}{1-\cos(x-a_1)}+\dfrac{1}{1-\cos(x-a_2)}+\dfrac{1}{1-\cos(x-a_3)}\leq 3$.
I cannot think of a good upper bound for this sum. I am not knowledgeable in more sophisticated trigonometric inequalities which may help in giving an easier upper bound. I tried the derivative test but all it gives is that there is a minimum, nothing more.
I did some numerical plotting and every time I see there exists an $x$ like this. Please help me prove this.
I am not sure if the dual inequality would be easier: $\sum_{i=1}^3\dfrac{\cos(x-a_i)}{1-\cos(x-a_i)}\leq 0$