Pólya–Szegő_inequality loading ...