#include <bits/stdc++.h>
#define f first
#define s second
#define mp make_pair
using namespace std;
typedef long long ll;
const ll mod = 998244353;
// Cope Counter = at least 109

signed main() {
	ios::sync_with_stdio(0);
	cin.tie(0);
  ll n;
  cin >> n;
  ll arr[n + 2][2], dp[n + 1][n + 1];
  ll smax = 0, c = 1;
  arr[0][0] = arr[0][1] = 0;
  arr[n + 1][0] = arr[n + 1][1] = 0;
  for(ll i = n; i > 0; i--) {
    cin >> arr[i][0];
    for(; c <= arr[i][0]; c++) arr[c][1] = i;
    smax = max(smax, min(i + 1, arr[i][0]));
  }
  for(; c <= n; c++) arr[c][1] = 0;
  for(ll i = 0; i <= n; i++) {
    for(ll j = 0; j <= n; j++) dp[i][j] = 0;
  }
  dp[0][0] = 1;
  ll fact = 1, ans = 0;
  for(ll i = 2; i <= smax; i++) fact = fact * i % mod;
  for(ll bk = 0; bk < 2; bk++) {
    for(ll i = 0; i < smax; i++) {
      dp[i + 1][0] = 0;
      for(ll j = 0; j <= i; j++) {
        dp[i + 1][j] = (dp[i + 1][j] + dp[i][j] * (arr[i + 1][bk] + j - arr[smax + 1][bk])) % mod;
        dp[i + 1][j + 1] = dp[i][j] * (arr[smax + 1][bk] - j) % mod;
      }
    }
    ans = (ans + dp[smax][arr[smax + 1][bk]]) % mod;
  }
  cout << smax << " " << (ans - fact + mod) % mod << "\n";
}