#include <bits/stdc++.h>
int main() {
  int n;
  scanf("%d", &n);
  long long a = 1, s, b[3] = {0};
  for (int i = n; i > n - 7; i--) {
    a *= i;
    if (i == n - 4) {
      b[0] = a / 120;
      a /= 120;
    }
    if (i == n - 5) {
      b[1] = a / 6;
      a /= 6;
    }
    if (i == n - 6) {
      b[2] = a / 7;
    }
  }
  s = b[0] + b[1] + b[2];
  printf("%I64d\n", s);
}
