If you meant it didn't matter exactly what polynomial in ln(k) was in the numerator, then yes, that's right, it'd work with any polynomial in ln(k) (or any finite sum of powers of ln(k)), as I explained in the later post. It's not fudging because it's something we can prove.