Talk:Bochner measurable function