User blog comment:Wythagoras/Hydra machines/@comment-1605058-20141026133450/@comment-10429372-20141026184055

Bound will hold using both Weiermann's and Wilken's theta's, they don't differ much.