Frank, R. L.; Lieb, E. H. Proof of Spherical Flocking Based on Quantitative Rearrangement Inequalities. Annali Scienze 2021, 22, 1241-1263.