MHB Proving $n^{n/2} = \mathcal{O}(n!)$ Without Stirling's Approx

  • Thread starter Thread starter alyafey22
  • Start date Start date
AI Thread Summary
The discussion centers on proving that n^(n/2) is in the big O notation of n!, specifically n^(n/2) = O(n!). The initial approach involved using Stirling's approximation, which the poster believes may not be acceptable to their teacher. An alternative, more elementary method is suggested, focusing on the logarithmic properties of factorials. The key argument involves establishing that for sufficiently large n, the inequality n/2 * ln(n) is less than or equal to ln(C) plus the integral of ln(x) from 1 to n, which simplifies to ln(C) + n * ln(n) - n + 1. Additionally, a direct comparison is made between n^(n/2) and n!, showing that n^(n/2) / n! can be bounded by a constant for n/2 greater than 3. This approach aims to provide a clearer and more straightforward proof without relying on Stirling's approximation.
alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
I wanted to prove that

$$n^{n/2} = \mathcal{O}(n!)$$

I used the Striling approximation but I don't think my teacher will be happy to see that. Can you suggest another approach that is more elementary.
 
Technology news on Phys.org
ZaidAlyafey said:
I wanted to prove that

$$n^{n/2} = \mathcal{O}(n!)$$

I used the Striling approximation but I don't think my teacher will be happy to see that. Can you suggest another approach that is more elementary.

Consider the derivation of Stirling's approximation.
It consists of first taking the logarithm, and then finding lower and upper integrals for $\sum_{j=1}^n \ln j$.
It is fairly straight forward and can be applied here as well.So what you want to prove is that there are some $C$ and $N$ such that for each $n>N$:
$$\frac n 2 \ln n \le \ln(C n!) = \ln C + \sum_{j=1}^n \ln j$$

This follows if we can prove that:
$$\frac n 2 \ln n \le \ln C + \int_1^n \ln x\,dx = \ln C + n\ln n - n + 1$$
 
ZaidAlyafey said:
I wanted to prove that

$$n^{n/2} = \mathcal{O}(n!)$$
\[
\frac{n^{n/2}}{n!}\le\frac{2^{n/2}}{(n/2)!}\le 1\text { if }n/2>3.
\]
 
Thread 'Star maps using Blender'
Blender just recently dropped a new version, 4.5(with 5.0 on the horizon), and within it was a new feature for which I immediately thought of a use for. The new feature was a .csv importer for Geometry nodes. Geometry nodes are a method of modelling that uses a node tree to create 3D models which offers more flexibility than straight modeling does. The .csv importer node allows you to bring in a .csv file and use the data in it to control aspects of your model. So for example, if you...
I tried a web search "the loss of programming ", and found an article saying that all aspects of writing, developing, and testing software programs will one day all be handled through artificial intelligence. One must wonder then, who is responsible. WHO is responsible for any problems, bugs, deficiencies, or whatever malfunctions which the programs make their users endure? Things may work wrong however the "wrong" happens. AI needs to fix the problems for the users. Any way to...

Similar threads

Back
Top