Pólya–Szegő inequality