因为对于一个高度 $h_i$， 我们往左边一直以这个高度延伸，直到不行，再往右边进行一样的操作

那么什么时候不行呢，就是当想要继续延伸的块高度比$h_i$低

左边的极限就是 $h_l \ \ (h_{l-1}<h_i)$ 右边的极限就是 $h_r \ \ (h_{r+1}<h_i)$

那么以 $i$ 为原点往左右两边延伸的最大面积就是$(r-l+1)*h_i$

我们使用单调栈即可求出 $l-1$ 和 $r+1$，我们暂时记为 $ans1$ 和 $ans2$

那么上述提到的面积就是$(ans2-ans1-1)*h_i$ 自己推导一下就知道了

AC CODE

#include <bits/stdc++.h> 
using namespace std;
const long long N = 1e5+10,INF = 0x3f3f3f3f;
long long a[N],ans[N],ans2[N],st[N],n,top,res,tmp;
void calc1(){
	for(long long i = 1; i <= n; i++){
		while(top>0&&a[i]<=a[st[top]])top--;
		ans[i]=st[top];st[++top]=i;
	}//单调栈模版，但是>=改成<=以达到效果 
}
void calc2(){
	for(long long i = n; i >= 1; i--){
		while(top>0&&a[i]<=a[st[top]])top--;
		ans2[i]=st[top];st[++top]=i;
	}//单调栈模版，但是>=改成<=以达到效果 
}
void solve(){
	cin >> n;
	if(n==0)exit(0);
	top = 0, res = 0, a[0]=a[n+1]=-INF;
	for(long long i = 1; i <= n; i++)cin >> a[i];
	top = 0;st[++top]=0;calc1();//计算ans1 
	top = 0;st[++top]=n+1;calc2();//计算ans2 
	for(long long i = 1; i <= n; i++)res = max(res,(ans2[i]-ans[i]-1)*a[i]);
	cout << res << '\n';
}
signed main(){
	while(1+1==2)solve();
	return 0;
}//完美30行结束