max( T(R), T(S) ) ≤ T( R ∪ S ) ≤ T(R) + T(S)
T( R ∪ S ) ~= max( T(R), T(S) ) + 1/2 × min( T(R), T(S) ) i.e.: maximum + 1/2 × (smaller size)