Treadstone 71
- 275
- 0
Is there an integer n such that
[tex]\sqrt{n!+n}-\sqrt{n!} > 1[/tex]
?
[tex]\sqrt{n!+n}-\sqrt{n!} > 1[/tex]
?
The discussion revolves around the inequality involving factorials: whether there exists an integer \( n \) such that \( \sqrt{n!+n}-\sqrt{n!} > 1 \). Participants explore the implications of this inequality within the context of factorial growth and approximations.
The conversation is ongoing, with various participants providing insights and exploring different interpretations of the problem. Some have suggested that the maximum value of the expression is less than 1, while others are examining the implications of bounding techniques. There is no explicit consensus yet, but several productive lines of reasoning are being explored.
Participants mention that the behavior of the expression changes significantly for integers greater than 3, and there are references to specific values and approximations that may influence the outcome. The discussion also touches on the implications for conjectures related to the inequality.
Treadstone 71 said:Is there an integer n such that
[tex]\sqrt{n!+n}-\sqrt{n!} > 1[/tex]
?
I am not very sure that I understand your post correctly, but do you mean:arildno said:The simplest way to see this, is to first multiply with the conjugate expression:
[tex]\sqrt{n!+n}-\sqrt{n!}=\frac{(\sqrt{n!+n}+\sqrt{n!})(\sqrt{n!+n}-\sqrt{n!})}{\sqrt{n!+n}+\sqrt{n!}}\leq\frac{n}{2\sqrt{n!}}[/tex]
One can easily prove the proposition from this bound:
For any n>3, we have
[tex]\frac{n+1}{2\sqrt{(n+1)!}}=\frac{n}{2\sqrt{n!}}\frac{1+\frac{1}{n}}{\sqrt{n+1}}<\frac{n}{2\sqrt{n!}}\frac{2}{2}=\frac{n}{2\sqrt{n!}}[/tex]
I.e, the sequence is decreasing.
Whoops, srry for misinterpreting your post.arildno said:Hmm, no.
Multiplying out the numerator, we have the identity:
[tex]\sqrt{n!+n}-\sqrt{n!}=\frac{n}{\sqrt{n!+n}+\sqrt{n!}}\leq\frac{n}{2\sqrt{n!}}[/tex]
This holds for ANY n.
Thus, if you can show that this bound is always less than 1 for any n, then it follows that your original difference expression must also be less than 1 for any n.

