#include <bits/stdc++.h>
int main() {
  int i, j, k, l, n, m, flag = 0;
  scanf("%d", &n);
  for (i = 0; (i * i) / 2 <= n; i++)
    if ((i * (i + 1)) / 2 == n) {
      printf("YES\n");
      flag = 1;
      break;
    }
  if (flag == 0) printf("NO\n");
  return 0;
}
