I was going to ask what was wrong with

growth function since

but I think I figured it out:
The right hand side of the modified Hoeffding is really

which goes to 0 only if

, which would require

which is meaningless since Ein and Eout are between 0 and 1.
Is this argument correct?