0
$\begingroup$

It's a follow up of Do we have $\prod_{n=1}^{\infty}\left(1+\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right)=^?0$

Conjecture/Problem:

It seems we have for $N$ sufficiently large:

$$\sum_{n=1}^{N}\left|\left(1+\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right)\right|-N-\ln^2(N)<0$$



Checking the sum until $N=800000$ there is no counter-example.

My progress:

I try to find a counter-example using the generalized triangle inequality we have:

$$\left|\sum_{n=1}^{N}\left(1+\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right)\right|\leq \sum_{n=1}^{N}\left|\left(1+\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right)\right|$$

So remains to find $M\geq N$ such that:

$$M+\ln^2(M)\leq \left|M+\sum_{n=1}^{M}\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right|$$

Wich seems to be not true

On the other hand the function:

$$f(x)=\sum_{n=1}^{M}\left|1+\frac{\tan\left(n\right)+1}{xn\left(\tan\left(n+1\right)+1\right)}\right|$$

Seems convex on $(0,2)$ .

So keeping in mind this result (?) we can use a chord such that $x,a,b\in(0,2)$:

$$f(x)\leq \frac{f(a)-f(b)}{a-b}(x-a)+f(a)$$

But I cannot proceed further.

Edit :

It seems $\exists,n,m,M$ such that $m\leq n\leq M$ then we have :

$$\left|\frac{\tan(n)+1}{n\left(\tan\left(n+1\right)+1\right)}+1\right|-1-\frac{\ln^{2}\left(n\right)}{n}<0$$

Question:

How to (dis)prove it?

Any help is appreciated.

$\endgroup$
8
  • $\begingroup$ Please check if you need to prove $\sum |a_n| - g(N) < 0$ or $\sum |a_n| - g(N) > 0$. $\endgroup$ Commented Sep 27, 2022 at 9:55
  • $\begingroup$ @IvanKaznacheyeu I need to prove the first one . $\endgroup$ Commented Sep 27, 2022 at 10:39
  • $\begingroup$ I suppose there will be problem with such $N$ that $|\tan(N)|$ is large. For example, $N=52174$, $\tan(N)=-181570.2957...$, $\sum_{n=1}^{N}\left|\left(1+\frac{\tan\left(n\right)+1}{n\left(\tan\left(n+1\right)+1\right)}\right)\right|-N-\ln^2(N) = 9.4...$. $\endgroup$ Commented Sep 27, 2022 at 15:22
  • $\begingroup$ @IvanKaznacheyeu I say for large $N$ . For example try $N=100000$ it seems to decrease but it's not fixed yet . $\endgroup$ Commented Sep 27, 2022 at 16:01
  • $\begingroup$ Is $N=3083975227$ large for you? $\endgroup$ Commented Sep 29, 2022 at 9:54

0

You must log in to answer this question.