Verify that the Taylor polynomials of degrees `1, 2, 3, ..., n + 1`, for `ln text[(] 1 + x text[)]` are exactly the polynomials resulting from the integrations just above this Checkpoint.