A general rearrangement inequality à la Hardy–Littlewood