überleg dir, wie du es logisch darstellen und formalisieren kannst, dass bei binärer suche der gesuchte schlüssel irgendwann gefunden werden muss (entweder ist er auf dem vergleichselement oder in einer der beiden teilfolgen links bzw. rechts davon - du kannst zeigen dass die zu untersuchenden teilfolgen immer kleiner werden müssen.)
benutze dafür natürlich die in der aufgabenstellung gegebenenen informationen:
-die folge ist aufsteigend sortiert-der gesuchte schlüssel ist enthalten