Question

how to prove
n! ≤ ( (n+1)/2 )^n
for n≥ 1

Answer 1

Maybe I'm wrong, but I was under the impression that factorials are defined only for \([0,\infty)\).

So isn't it just a case of demonstrating the conjecture for \(0,1\)?

I barely recall reading a paper about evaluating negative factorials with the gamma function, but that was entirely on the complex plane (IIRC).

Answer 2

ohh lol..sorry..it should be >= sign,,wait i'll edit the ques..

Answer 3

done now..

Answer 4

Lemme dust off my real analysis textbook... ahaha...

Answer 5

n! = 1*2*3*...*(n-2)*(n-1)*n
Now,
(1+n/2) = (2+n-1)/2 = (3+n-2)/2

Answer 6

(1+n/2) = (2+n-1)/2 = (3+n-2)/2 ==== (1+n)/2
Also, n! has n number of terms..... so there will be around half number of (1+n)/2 terms.....
and also, ( (n+1)/2 )^n has n number of terms..
Thus, n! ≤ ( (n+1)/2 )^n

Answer 7

I hope I made it clear

Answer 8

sorry didnt get it :|

Answer 9

@shubhamsrg

Answer 10

where didnt u understand

Answer 11

n! = 1*2*3*...*(n-2)*(n-1)*n

Answer 12

right? @shubhamsrg

Answer 13

so there will be around half number of (1+n)/2 terms.....
+
conclusion part..

Answer 14

yes..following..

Answer 15

Now, take 1 and n and average them

Answer 16

okay,,1+n /2..

Answer 17

So, u will get (n+1)/2 right?

Answer 18

n/2 ..

Answer 19

u will again get (n+1)/2 right?

Answer 20

maybe you meant 2 and n-1 ?

Answer 21

yes,then avg n+1 /2

Answer 22

oh...... 2 and (n-1)

Answer 23

got it?

Answer 24

okay,,i get that part..

Answer 25

buzz ?

Answer 26

check saura's method and also this

go by mathematical induction...

Use this :\[2\le (\frac{n+2}{n+1})^{n+1}\]

Answer 27

guys I think I was totally wrong

Answer 28

But got the method to solve this

Answer 29

am all years..

Answer 30

ears **

Answer 31

@mukushla didnt get you..
@sauravshakya your method ?

Answer 32

go on saurav

Answer 33

here's what i tried to do..
(n+1)/2 = n/2 + 1/2
now for even n,
n/2 + 1 > (n+1)/2 > n/2
(n/2 + 1) (n/2 + 2) > ((n+1)/2)((n+1)/2) > (n/2) (n/2 -1)
.
.
.
.
(n/2 +1)(n/2 +2)......(n/2 + n/2) > ((n+1)/2 )^(n/2) > (n/2) (n/2 -1).....(n/2 -n/2)
n! / (n/2) ! > ((n+1)/2 )^(n/2) > (n/2) !

is this any help? how can we take it further ?

Answer 34

take n=2 so n!=2 and (3/2)^2=2.25 so 2<2.25 hence proved

Answer 35

well thats ofcorse not a general soln..

Answer 36

u got n! / (n/2) ! > ((n+1)/2 )^(n/2)

how can we match this with original inequality?

Answer 37

you're the expert,,you telll!! :P

Answer 38

lol...idk if it will help or not.

Answer 39

what were you saying about induction?

Answer 40

well for \(n=1\) its true... let suppose\[n! \le (\frac{n+1}{2})^n \]be a true statement...we just need to prove\[(n+1)! \le (\frac{n+2}{2})^{n+1} \]

Answer 41

hmm

Answer 42

\[(n+1)!=(n+1).n! \le (n+1).(\frac{n+1}{2})^{n}\le \frac{n+1}{2}(\frac{n+2}{n+1})^{n+1}.(\frac{n+1}{2})^{n}=(\frac{n+2}{2})^{n+1} \]

Answer 43

didnt get the second last step..?

Answer 44

well \[1 \le \frac{1}{2} (\frac{n+2}{n+1})^{n+1}\] but u need to prove this inequality also

Answer 45

i see..

Answer 46

if we try like this :
n = (n+1 /2) + (n-1 /2)
n-1 = (n+1 /2) + (n-3 /2)
.
.
.
.
and multiplying all,
n! = (n+1 /2)^n + something..
does this help ??

Answer 47

RHS will be some polynomial or f(n+1 /2) with roots -(n-1)/2 ,-(n-3)/2 etc..
so there isnt much problem multiplying all..main problem is how to prove!! ?? !!

Answer 48

u most prove \(\text{something} \le 0\) right?

Answer 49

yep..

Answer 50

if n+1 /2 = x,
then it'll be of the form
x^n + x^(n-1) (0) - x^(n-2)(something +ve) + ...............
what will come in ............ ??
am quite sure about what i wrote before ...............

Answer 51

i did not read all of the above, but is this supposed to be a proof by induction?

Answer 52

well you can use any legitimate method sir..

Answer 53

no i messed that up, have to try again

Answer 54

people i got the solution!!

Answer 55

it was accidently,,while solving another ques,,and i recalled AM >= GM,,here's my solution

Answer 56

we know that :

[ (1 + 2 +3 ..... n)/n ] ^n >= 1.2.3......n
or
[ n(n+1)/2n ]^n >= n!
=>
(n+1 /2)^n >=n!
lol...

Answer 57

Neat solution

Answer 58

thanks! :)

Answer 59

very nice man...\[\frac{1+2+...+n}{n}\ge\sqrt[n]{n!}\]