Hacker News new | ask | show | jobs
by emmelaich 293 days ago
https://en.wikipedia.org/wiki/57_(number)

aka the Grothendieck prime!