«مهدی» در میان محبوب‌ترین نام‌های مردانه ایران