Let be the minimum element of the original array. Every current element is at least , since merging two values at least produces a value at least .
The last operation therefore gives at least . To obtain exactly , one of the two elements immediately before that operation must equal .
No merge can create , so this element must be an original minimum that has never been merged.