2025-05-02 Fair allocations and Nash social welfare