P:a=x_0<x_1<...<x_{n-1}<x_n=b