limではなく∀∃の学習からだな