Problem

Source: Brazil EGMO TST2 2024 #3

Tags: number theory, least common multiple



Consider 90 distinct positive integers. Show that there exist two of them whose least common multiple is greater than 2024.