Decomposing factorial of 300K as the product of 300K factors larger than 100K | Hacker News Reader