Can we be sure that as long as x is in [0,m_num_elements-1] then this recursion will end?