pointwise convergent sequence