User blog comment:DrCocktor/Another question related to maths in general/@comment-35470197-20190502055657/@comment-35470197-20190504232312

I did. A lower bound is 10000.