Decomposing factorial of 300K as the product of 300K factors larger than 100K

A few days ago, Terence Tao proposed a challenge to decompose the 300K! as the product of 300K factors larger than 100K . A smaller example …

Read in full here: