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