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

Could you try finding a lower bound by writing a program