整数除255快速算法的完全不严谨推导

在浏览一个帖子C 语言有什么奇技淫巧？时，无意看到一个整数除255快速算法，其算法如下：

#define div_255_fast(x)    (((x) + (((x) + 257) >> 8)) >> 8)

对此算法已有人给出证明255快除算法的证明和推广，但对于我的数学水平而言，这个证明似乎比这个算法本身更难以理解。在此，仅列出自己的理解过程，且是完全不严谨的。
算法展开式如下：
$$\frac{x}{255}=\frac{x}{2^8}+\frac{x}{255\ast 2^8}=\frac{x}{2^8}+\frac{x}{2^{16}}+\frac{x}{255\ast 2^{16}}=\frac{x}{2^8}+\frac{x}{2^{16}}+\frac{x}{2^{24}}+\frac{x}{2^{32}}+\frac{x}{255\ast 2^{32}}$$
将$\frac{x}{2^{24}}+\frac{x}{2^{32}}+\frac{x}{255\ast 2^{32}}$视为$\frac{x}{255}-(\frac{x}{2^8}+\frac{x}{2^{16}})$的误差部分，在[0,65536]的范围内，误差部分在x=65536时有最大值，该最大值为$\frac{1}{2^8}+\frac{1}{2^{16}}+\frac{1}{255\ast 2^{16}}$，不妨舍弃$\frac{1}{255\ast 2^{16}}$取最大值为$\frac{1}{2^8}+\frac{1}{2^{16}}$，此时有：
$$\frac{x}{255}\approx \frac{x}{2^8}+\frac{x}{2^{16}}+\frac{1}{2^8}+\frac{1}{2^{16}}=\frac{x+1+\frac{x+1}{2^8}}{2^8}$$
原式得证。
我的理解是，所谓的整数除255快速算法实质上是对整数除256的误差进行找补，且找补的部分为常数。为满足[0,65536]的范围内算法成立，故应取展开式误差部分的最大值。
另外，尝试误差部分仅取$\frac{1}{2^8}$，则算法如下：

#define div_255_fast(x)    (((x) + (((x) + 256) >> 8)) >> 8)

此时，该算法在[0,65534]的范围内成立。