"n ≥ 5 için 2^n > n²" önermesini ispatlamak isteyen bir matematikçi, önce n=5 için doğruluğunu kontrol etmiş, ardından n=k için doğru olduğunu varsayıp n=k+1 için de doğru olduğunu göstermiştir. Bu matematikçi hangi ispat yöntemini kullanmıştır?
A) Doğrudan ispat
B) Olmayana ergi
C) Tümevarım
D) Varlık ispatı
