ค้นหารายได้รวมของบริษัทที่มีรายได้มากกว่ารายได้ของบริษัทบางแห่งในออสติน
Find the total revenue of companies whose revenue is larger than the revenue of some companies based in Austin.
df = pd.DataFrame(columns=['revenue', 'headquarter'])
df[df['revenue'] > df[df['headquarter'] == 'Austin']['revenue'].min()]['revenue'].sum()