Matematiksel tümevarım yönteminde, ispatın başlangıç adımı genellikle en küçük doğal sayı için yapılır. Bu durumda ilk adım hangi sayı için kontrol edilmelidir?