向上取整的方法

对一个数进行向上取整,对于cpp来说,可以使用库函数ceil进行取整。对于非负数来说,可以使用下面的方法进行方便的取整。公式如下:

(a + b - 1) / b

证明思路如下图所示:

向上取整的证明思路