orthonormal comments on Request: Induction, Proof, Experimental mathematics