holder inequality discrete