1: $]{erdos2010derivation} upgrades the weak* convergence to strong, by using Gr$