Define S(n,r):=n+1−rn+1−2r(rn), for all pairs r,n with −1≤r and 2r≤n+1. In particular S(n,r)=0 if r=−1 or if 2r=n+1. Note that S(1,0)=1. We prove that if n≥2 and 0≤r≤n/2 then
S(n,r)=S(n−1,r−1)+S(n−1,r)
The first statement will then follow by induction on n. For n≥2 we have
S(n−1,r−1)+S(n−1,r)=(n+1−r)(n+2−2r)(r−1)!(n−r)!(n−1)!+(n−r)(n−2r)r!(n−1−r)!(n−1)!=(n+1−r)r!(n−r)!=(n+1−r)r!(n−r)!=S(n,r)
The final statement is that ∑r=0⌊n/2⌋S(n,r)<2n−2, for n≥9. The base case here is n=9, where the values of S(9,r) for r=0,1,2,3,4 are 1, 8, 27, 48, 42, respectively. These sum to 126, which is less than 29−2=128. The inductive step follows from the fact that
r=0∑⌊n/2⌋S(n,r)=r=0∑⌊n/2⌋[S(n−1,r)+S(n−1,r−1)]≤2r=0∑⌊(n−1)/2⌋S(n−1,r)<2×2⌊(n−1)/2⌋=2n−2
(each S(n−1,r−1) with r<n/2 contributes twice to the sum: to S(n,r−1) and S(n,r+1). When r=n/2, S(n−1,n/2−1) contributes only once: to S(n,n/2−1).)
a.
Then
S(n,r)=n+1−rn+1−r(rn)−n+1−rr(rn)=(rn)−r!(n+1−r)(n−r)!rn!=(rn)−(r−1)!(n+1−r)!n!=(rn)−(r−1n),
a difference between two successive binomial coefficients. Hence S(n,r) is an integer, which is nonnegative if 2r≤n+1. Alternatively,
S(n,r)=n+1−rn+1(rn)−2n+1−rr(rn)=r!(n+1−r)(n−r)!(n+1)n!−2r!(n+1−r)(n−r)!rn!=r!(n+1−r)!(n+1)!−2(r−1)!(n−(r−1))!n!=(rn+1)−2(r−1n),
a difference between multiples of two binomial coefficients.
b.
Using the first representation of S(n,r), we see that
r=0∑⌊n/2⌋n+1−rn+1−2r(rn)=r=0∑⌊n/2⌋S(n,r)=r=0∑⌊n/2⌋[(rn)−(r−1n)]=(⌊n/2⌋n).
It must now be confirmed that
(⌊n/2⌋n)<2n−2,∀n≥9.
We'll use induction to establish this considering separately when n is even and when n is odd.
Case (i): Suppose n=2m, m≥5. Since
(⌊n/2⌋n)=(m!)2(2m)!,
and
(510)=5⋅4⋅3⋅2⋅110⋅9⋅8⋅7⋅6=252<28=210−2,
we can start the induction at m=5. So, assuming that
(m!)2(2m)!<22m−2,∀m≥5,
we see that
((m+1)!)2(2(m+1))!=(m+1)2(m!)22(m+1)(2m+1)(2m)!<m+12m+122m−1<22m.
Hence the inequality holds if n is even.
Case (ii): Suppose n=2m+1, m≥4. Since
(⌊n/2⌋n)=(m2m+1)=m!(m+1)!(2m+1)!,
and
(49)=4⋅3⋅2⋅19⋅8⋅7⋅6=126<27=29−2,
we can start the induction at m=4. So, assuming that
m!(m+1)!(2m+1)!<22m−1,∀m≥4,
we see that
(m+2)!(m+1)!(2m+3)!=(m+1)(m+2)(2m+3)(2m+2)m!(m+1)!(2m+1)!<m+22m+322m<22m+1.
Hence the inequality holds if n is odd.