Lebesgue's dominated convergence theorem in Bishop's style