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

  • Context: MHB 
  • Thread starter Thread starter alyafey22
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that \( n^{n/2} = \mathcal{O}(n!) \) without relying on Stirling's approximation. The approach suggested involves taking the logarithm of \( n! \) and using integral approximations to establish the relationship. Specifically, it is shown that for sufficiently large \( n \), the inequality \( \frac{n}{2} \ln n \leq \ln C + n \ln n - n + 1 \) holds, leading to the conclusion that \( \frac{n^{n/2}}{n!} \leq \frac{2^{n/2}}{(n/2)!} \leq 1 \) for \( n/2 > 3 \).

PREREQUISITES
  • Understanding of asymptotic notation, specifically \( \mathcal{O} \) notation.
  • Familiarity with logarithmic functions and their properties.
  • Knowledge of integral calculus, particularly in evaluating definite integrals.
  • Basic combinatorial mathematics, especially factorial functions.
NEXT STEPS
  • Study the derivation of Stirling's approximation for deeper insights into factorial growth.
  • Learn about integral approximations and their applications in asymptotic analysis.
  • Explore advanced topics in combinatorial analysis related to factorials and their bounds.
  • Investigate other elementary proofs of asymptotic relationships in combinatorial mathematics.
USEFUL FOR

Mathematicians, computer scientists, and students studying combinatorial analysis or asymptotic notation, particularly those looking to deepen their understanding of factorial growth and logarithmic properties.

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.
\]
 

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
8K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K