#pragma GCC target("avx2") #pragma GCC optimize("03") #pragma GCC optimize("unroll-loops") #include using namespace std; typedef long double ld; typedef long long ll; typedef unsigned long long ull; #define endl "\n" #define FOR(i,a,b) for(int i=(a);i<=(b);i++) #define rep(i,n) for(int i=0;i<(n);i++) #define PII pair #define PLL pair #define ALL(x) (x).begin(), (x).end() int dx[] = {1, 0, -1, 0}; int dy[] = {0, 1, 0, -1}; constexpr int INF=1<<30; constexpr ll LINF=1LL<<60; constexpr ll mod=1e9+7; templatevector vec(int len, T elem) { return vector(len, elem); } // auto dp = vec(52, vec(103, vec(103, INF))); templateinline bool chmax(T &a, const T &b) { if (ainline bool chmin(T &a, const T &b) { if (binline int popcount(T a) {return __builtin_popcount(a);} templateinline T emod(T a, T p) { return (a%p + p) % p;} template istream &operator>>(istream &is, vector &vec) { for (auto &v : vec) is >> v; return is; } template ostream &operator<<(ostream &os, const vector &vec) {os << '\n'; for (auto v : vec) os << v << ' '; os << '\n'; return os;} template ostream &operator<<(ostream &os, const deque &vec) { os << "deq["; for (auto v : vec) os << v << ','; os << ']'; return os; } template ostream &operator<<(ostream &os, const set &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_set &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const multiset &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_multiset &vec) { os << '{'; for (auto v : vec) os << v << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const pair &pa) { os << '(' << pa.first << ',' << pa.second << ')'; return os; } template ostream &operator<<(ostream &os, const map &mp) { os << '{'; for (auto v : mp) os << v.first << "=>" << v.second << ','; os << '}'; return os; } template ostream &operator<<(ostream &os, const unordered_map &mp) { os << '{'; for (auto v : mp) os << v.first << "=>" << v.second << ','; os << '}'; return os; } struct MyIO { MyIO(){ cin.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(15); } } IO_OI; #ifdef LOCAL void debug_out() { cerr << endl; } template void debug_out(Head H, Tail... T) { cerr << " " << H; debug_out(T...); } #define debug(...) \ cerr << __LINE__ << " [" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #define dump(x) cerr << __LINE__ << " " << #x << " = " << (x) << endl #else #define debug(...) (void(0)) #define dump(x) (void(0)) #endif //------------------- int main() { int n; cin>>n; vector a(n); int ans = 0; rep(i,n) { cin>>a[i]; } { vector b(n); vector c(n+2,INF); c[0] = -INF; rep(i,n) { int k = lower_bound(ALL(c), a[i]) - c.begin(); b[i] = k; chmin(c[k], a[i]); } debug(b,c); vector d(n+2,INF); d[0] = -INF; for(int i=n-1;i>=0;i--) { int k = lower_bound(ALL(d), a[i]) - d.begin(); chmax(ans, min(b[i]-1, k-1)); chmin(d[k], a[i]); } debug(d); } rep(i, n) a[i] = -a[i]; { vector b(n); vector c(n+2,INF); c[0] = -INF; rep(i,n) { int k = lower_bound(ALL(c), a[i]) - c.begin(); b[i] = k; chmin(c[k], a[i]); } vector d(n+2,INF); d[0] = -INF; for(int i=n-1;i>=0;i--) { int k = lower_bound(ALL(d), a[i]) - d.begin(); chmax(ans, min(b[i]-1, k-1)); chmin(d[k], a[i]); } } cout << ans << endl; return 0; }