OneTouch 4.0 Scanned Documents - wmich.edu na (u) denote the number of a 's in the string u and nb(u) denote the number of b's in u. The inductive proof should establish the inequality