
A short note proving and refining OEIS conjectures A380274–A380275 by deriving a third-order asymptotic expansion for fixed real power sums of Mahonian coefficients. The paper gives explicit constants for the cubic and quartic cases and establishes the general leading term for all fixed .
