got size_diff proven using the recursive definition of its running time