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 'Is this public key encryption?'
I've tried to intuit public key encryption but never quite managed. But this seems to wrap it up in a bow. This seems to be a very elegant way of transmitting a message publicly that only the sender and receiver can decipher. Is this how PKE works? No, it cant be. In the above case, the requester knows the target's "secret" key - because they have his ID, and therefore knows his birthdate.
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...
Dear Peeps I have posted a few questions about programing on this sectio of the PF forum. I want to ask you veterans how you folks learn program in assembly and about computer architecture for the x86 family. In addition to finish learning C, I am also reading the book From bits to Gates to C and Beyond. In the book, it uses the mini LC3 assembly language. I also have books on assembly programming and computer architecture. The few famous ones i have are Computer Organization and...

Similar threads

Back
Top