"$n^2 ≥ n$ for all natural numbers n" önermesini ispatlamak için matematiksel tümevarım kullanılıyor. Temel adımda n=1 için $1^2 ≥ 1$ kontrol ediliyor. Tümevarım adımında ise $k^2 ≥ k$ doğru kabul edilip $(k+1)^2 ≥ k+1$ gösteriliyor. Bu ispat türü için aşağıdakilerden hangisi doğrudur?
A) Algoritmik olarak doğrulanamaz