master theorem proof