Thank you for writing back.
The inequality is
n is even
C(n,n/2)/2^(n+1) > 1/(2*sqrt(n)).
"Sharp form fo Stirling's inequality" is
sqrt(2*pi*k) * k^k * e^-k < k! < sqrt(2*pi*k) * k^k * e^-k * (1+1/(4*k))
Is it right? Tried with 4.
With Google books, by clicking on the book in...