请问线段树合并的时间复杂度是多少？

请给一下严谨证明。