แสดงรายการอุตสาหกรรมหลักที่มีมูลค่าตลาดรวมสูงสุดและจำนวนบริษัท
List the main industry with highest total market value and its number of companies.
df = pd.DataFrame(columns=['main_industry', 'market_value'])
df.groupby('main_industry')['market_value'].sum().idxmax(), df[df['main_industry'] == df.groupby('main_industry')['market_value'].sum().idxmax()].shape[0]