[KaibaMath]1025 关于[logm]+1=⌈log(m+1)⌉的证明

为了进一步简化海明码校验位数最小值的求解公式，我们在这里先证明[logm]+1=⌈log(m+1)⌉。