问题：
有个链表（List)，有N个元素，当N很大的时候，我们通常想分批处理该链表。假如每次处理M条(0<M<=N),那么需要处理几次才能处理完所有数据呢？
问题很简单，我们需要<N/M>次，这里我们用<>表示向上取整,[]表示向下取整，那么怎么来表示这个值呢？
我们可以证明：
<N/M>=[(N-1)/M]+1 (0<M<=N,M,N∈Z)
不失一般性，我们设N=Mk+r(0<=r<M),
1）当r>0时，
左边：<N/M>=<(Mk+r)/M>=<k+r/M>=k+<r/M>=k+1
右边：[(N-1)/M]+1=[(Mk+r-1)/M]+1=[k+(r-1)/M]+1=k+1+[(r-1)/M]=k+1
2）当r=0
左边：<N/M>=k
右边：[(N-1)/M]+1=[(Mk-1)/M]+1=[(M(k-1)+M-1)/M]+1=[k-1+(M-1)/M]+1=k+[(M-1)/M]=k
命题得证。
有了这个公式，我们在Java代码里可以这样计算:
int nn=(N-1)/M +1
.
因为'/'是往下取整的。