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

📅 发布时间：2026/6/19 8:56:51 👁 浏览次数：

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

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