From 1880 to 2024, 4,440,391 babies have been named Michael in the U.S. Most often given to a boy.
Source: U.S. Social Security Administration national name dataset (1880–2024). Counts represent only names given to ≥5 babies in a given year.