User blog comment:QuasarBooster/Everlasting Egrets/@comment-33713741-20190720113923/@comment-24923514-20190720155252

I agree. If anyone finds decent bounds for larger inputs I'd be happy to add them here.