...and, it looks like I generalized too quickly

...did I say my proof worked for a≤19? I meant 18, apparently. Did I say 3log₃(3/2)? I meant 3log₃(4/3) (minus the exceptions - though the better bound is still often true). Oops. (Still have yet to prove *this*, mind you, but I'm pretty certain.)

-Harry