Put . Its ridgeless minimum-norm fit is , so its first coordinates are
The strong law of large numbers applied entrywise gives almost surely as . Continuity of inversion then yields
almost surely, where the middle equality is the push-through identity.