#include <bits/stdc++.h>
int main() {
  int n, i;
  scanf("%d", &n);
  for (i = 1; i < 1000; i++) {
    n -= i;
    if (n == 0) {
      printf("YES");
      return 0;
    }
  }
  printf("NO");
  return 0;
}
