FSE_NCountWriteBound
FSE_PUBLIC_API size_t FSE_NCountWriteBound(unsigned maxSymbolValue, unsigned tableLog);
if (bufferSize < FSE_NCountWriteBound(maxSymbolValue, tableLog))