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

  • Thread starter Thread starter alyafey22
  • Start date Start date
Click For 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.
\]
 
Learn If you want to write code for Python Machine learning, AI Statistics/data analysis Scientific research Web application servers Some microcontrollers JavaScript/Node JS/TypeScript Web sites Web application servers C# Games (Unity) Consumer applications (Windows) Business applications C++ Games (Unreal Engine) Operating systems, device drivers Microcontrollers/embedded systems Consumer applications (Linux) Some more tips: Do not learn C++ (or any other dialect of C) as a...

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
59
Views
8K
  • · Replies 65 ·
3
Replies
65
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K