6.1.2 穷竭法与微积分