Correct. To back this up a little bit with numbers, the iPhone 13 Mini all by itself sold about the half of the rate of the entire Google Pixel lineup. I bet lots of phone manufacturers would love to have half the sales of Google's premier Android phone. I also switched from Android to iPhone solely because of the 13 Mini form factor (I prefer Android, but I prefer a human-hand-sized phone even more).
Source:
Google shipped about 10 million Pixel phones in a year https://9to5google.com/2024/02/22/pixel-2023/
iPhone Mini accounted for about 3% of iPhone sales https://9to5mac.com/2022/04/21/cirp-iphone-13-best-selling-l...
iPhones sell about 200 million units per year https://www.demandsage.com/iphone-user-statistics/
200 million * 0.03 = 6 million iPhone Minis per year