ANSWER :
We prove this by strong induction on the length of the string.
Basis : if length=1, the string has to be
"a", so the statement is true
if length=2, the string is either "ab" or "aa", and in both cases the statement
is true
I.H. For all 1<=k<n, strings of size k have at least as many a's as b's.
To show : String of size n (n>=3) has at least
as many a's as b's.
Proof :
Let s be a string of size n.
Case #1:
s can be written as axb, where
x is a string in S of size n-2
By I.H. x has at least as
many a's as b's.
Thus, s has at least as many
a's
as b's.
Case #2:
s can be written as xy, where
x and y are both in S. Notice that length of x is < n, and length of
y is < n
By I.H. x and y each have
at least as many a's as b's.
Thus, s has at least as many
a's
as b's.
So, in both cases, s has at least as many a's
as b's.
C(r,k) = r! / ( k! * (r-k)! )
Check : These three probabilities should add to 1 (and they do!)