Correct FSE probability bit consumption in specification#3806

Merged

Cyan4973 merged 2 commits intofacebook:devfrom elasota:fmt-clarifications

Nov 1, 2023

+2-1

Commits on Oct 31, 2023

Clarify that the log2 of the largest possible symbol is the maximum number of bits consumed
elasota
committed
Add definition of "log2sup" function
elasota
committed