from math import comb as c
n=int(input())
print(c(n,5)+c(n,6)+c(n,7))
#include <bits/stdc++.h>
using namespace std;
#define fastio ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define prnt(x) for(auto &it: x)cout<<it<<" ";cout<<"\n";
#define all(x) (x).begin(), (x).end()
#define sz(x) ((ll)(x).size())
typedef long long ll;
typedef vector<ll> vll;
const ll N = 780, inf=2e18;
ll mod = 1000000007;
ll func(ll n, ll r){
ll ans=1;
for(ll i=0; i<r; i++){
ans*=(n-i);
ans/=(i+1);
}
return ans;
}
void solve(ll tc)
{
ll n;
cin>>n;
ll ans=0;
for(ll i=5; i<=7; i++){
ans+=func(n, i);
}
cout<<ans<<endl;
}
int main()
{
fastio;ll T = 1;
//cin >> T;
for (ll i = 1; i <= T; i++)solve(i);
return 0;
}
1409A - Yet Another Two Integers Problem | 977A - Wrong Subtraction |
263A - Beautiful Matrix | 180C - Letter |
151A - Soft Drinking | 1352A - Sum of Round Numbers |
281A - Word Capitalization | 1646A - Square Counting |
266A - Stones on the Table | 61A - Ultra-Fast Mathematician |
148A - Insomnia cure | 1650A - Deletions of Two Adjacent Letters |
1512A - Spy Detected | 282A - Bit++ |
69A - Young Physicist | 1651A - Playoff |
734A - Anton and Danik | 1300B - Assigning to Classes |
1647A - Madoka and Math Dad | 710A - King Moves |
1131A - Sea Battle | 118A - String Task |
236A - Boy or Girl | 271A - Beautiful Year |
520B - Two Buttons | 231A - Team |
479C - Exams | 1030A - In Search of an Easy Problem |
158A - Next Round | 71A - Way Too Long Words |