Lima zadebiutował dla Andory w wieku 17 lat w przegranym 1:4 meczu z Estonią w 1997 roku, który był drugim oficjalnym międzynarodowym meczem tego kraju. Obrońca strzelił 11 bramek dla Andory i był kapitanem drużyny narodowej.
W 2021 roku Księga Rekordów Guinnessa podała, że Lima osiągnął rekord najdłuższej reprezentacyjnej kariery wśród mężczyzn.
Lima rozegrał 23 minuty w przegranym przez Andorę starciu 0:3 ze Szwajcarią w kwalifikacjach grupy I do Euro 2024, rozpoczynając spotkanie w pierwszym składzie, zanim został zmieniony przy owacji na stojąco ze strony kibiców na Stade de Tourbillon w Szwajcarii.
Jego występ przeciwko Helwetom sprawił, że Lima stał się najstarszym piłkarzem, który zagrał w kwalifikacjach do Euro.
"Gratulacje dla Ildefonsa Limy z Andory za niesamowitą podróż, najdłuższą karierę w reprezentacji narodowej w historii" - napisała UEFA w poście na X, platformie mediów społecznościowych znanej wcześniej jako Twitter.
Rekord najdłuższej reprezentacyjnej kariery wśród kobiet należy do byłej reprezentantki Brazylii Formigi (45 lat), która grała w niej przez 26 lat w latach 1995-2021 i zaliczyła ponad 200 występów.