I found that bound this morning when I looked at the sequence afresh, but I see you beat me to it! Yes, this is a much better, albeit still trivial, bound. Any ideas on getting an exponent less than 1?