Simon worked out this formula using the traditional formula for the Zeta Function. He’s not not sure it’s new (he says he’s even sure it’s not new) but he has worked this out on his own (and partially by memorizing Mathologer’s video about the subject).
Don’t confuse the small and the capital Pi, Simon warns. The capital Pi means “product”!