On Proinov's lower bound for the diaphony - Nathan Kirk (2020)