Douglas_Knight comments on Request: Induction, Proof, Experimental mathematics