数学的帰納法そのものが関数