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

I meant that 10000 is just a lower bound, but does not meant that 10000 is enough.