#include <iostream>
#include <cstdio>
#include <string>
#include <cstring>
#include <deque>
#include <list>
#include <queue>
#include <stack>
#include <vector>
#include <utility>
#include <algorithm>
#include <map>
#include <set>
#include <complex>
#include <cmath>
#include <limits>
#include <climits>
#include <ctime>
#include <cassert>
#include <numeric>
#include <functional>
#include <bitset>

using namespace std;
using lint = long long int;
long long int INF = 1001001001001001LL;
int inf = 1000000007;
long long int MOD = 1000000007LL;
double PI = 3.1415926535897932;

template<typename T1,typename T2>inline void chmin(T1 &a,const T2 &b){if(a>b) a=b;}
template<typename T1,typename T2>inline void chmax(T1 &a,const T2 &b){if(a<b) a=b;}

#define ALL(a) a.begin(),a.end()
#define RALL(a) a.rbegin(),a.rend()

/* do your best */

// quoted from beet-aizu
template <typename T, typename E, typename F, typename G>
struct SegmentTree{
    // using F = function<T(T, T)>
    // using G = function<T(T, E)>
    int n;
    F f;
    G g;
    T ti;
    vector<T> dat;
    SegmentTree(){};
    SegmentTree(F f,G g,T ti):f(f),g(g),ti(ti){}
    void init(int n_){    
        n=1;
        while(n<n_) n<<=1;
        dat.assign(n<<1,ti);
    }
    void build(const vector<T> &v){
        int n_=v.size();
        init(n_);
        for(int i=0;i<n_;i++) dat[n+i]=v[i];
        for(int i=n-1;i;i--)
            dat[i]=f(dat[(i<<1)|0],dat[(i<<1)|1]);
    }
    void update(int k,const E &x){
        k += n;
        dat[k] = g(dat[k], x);
        while(k>>=1)
            dat[k]=f(dat[(k<<1)|0],dat[(k<<1)|1]);    
    }
    T operator [](int k) const { return dat[k+n]; }
    T query(int a,int b) const {
        T vl=ti,vr=ti;
        for(int l=a+n,r=b+n;l<r;l>>=1,r>>=1) {
            if(l&1) vl=f(vl,dat[l++]);
            if(r&1) vr=f(dat[--r],vr);
        }
        return f(vl,vr);
    }

    /* TODO わからない 聞く 
    template<typename C>
    int find(int a,int b,C &check,int k,int l,int r){
        if(!check(dat[k])||r<=a||b<=l) return -1;
        if(k>=n) return k-n;
        int m=(l+r)>>1;
        int vl=find(a,b,check,(k<<1)|0,l,m);
        if(~vl) return vl;
        return find(a,b,check,(k<<1)|1,m,r);
    }
    template<typename C>
    int find(int a,int b,C &check){
        return find(a,b,check,1,0,n);
    }*/
    
};


/**  テンプレ
int main(){
}
**/




void naive() {
  int n, k; cin >> n >> k;
  vector<int> a(n);
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }
  
  set<vector<int>> st;
  for (int i = 0; i < n; i++) {
    // [i, i + k)
    if (i + k - 1 >= n) {
      continue;
    }

    vector<int> tmp = a;
    sort(tmp.begin() + i, tmp.begin() + i + k);
    for (auto x : tmp) {
      cerr << x << " ";
    }
    cerr << endl;

    st.insert(tmp);
  }

  cout << st.size() << endl;
}

void solve() {
  
  int n, k; cin >> n >> k;
  // ソート済みの区間を列挙
  vector<bool> isSorted(n - k + 1, false); // [l, l + k) がソート済みかどうか

  int cnt = 0;
  int pre = n + 1;
  vector<int> a(n);
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }

  for (int i = 0; i < n; i++) {
    if (pre < a[i]) {
      cnt++;
    } else {
      cnt = 1;
    }
    pre = a[i];
    if (cnt >= k) {
      isSorted[i - k + 1] = true; }
  }

  int sortedCnt = 0; // ソート済みの区間に収まる区間の個数
  int ans = 0;
  for (int i = 0; i < n - k + 1; i++) {
    if (isSorted[i]) sortedCnt++;
    else ans++;
  }

  ans += min(1, sortedCnt);

  using T = int;  // type T
  using E = int;  // type E
  auto fmax = [](T a, T b){ // return type T value
    return max(a, b);
  };
  auto gmax = [](T a, E b){ // return type T value
    return b;  // return b;
  };
  T timax = -1;  // identity element
  SegmentTree<T, E, decltype(fmax), decltype(gmax)> sgmax(fmax, gmax, timax);  // don't change
  sgmax.build(a);

  auto fmin = [](T a, T b){ // return type T value
    return min(a, b);
  };
  auto gmin = [](T a, E b){ // return type T value
    return b;  // return b;
  };
  T timin = n;  // identity element
  SegmentTree<T, E, decltype(fmin), decltype(gmin)> sgmin(fmin, gmin, timin);  // don't change
  sgmin.build(a);

  // ソート済みではない and 隣り合う二つの区間について
  // a[l] < min(l + 1, r) < max(l + 1, r) < a[r] なら，被りあり

  for (int l = 0; l < n - k; l++) {
    if (isSorted[l]) continue;
    // [l, l + k) と [l + 1, l + 1 + k)
    // 区間 max と 区間 min が必要じゃん
    int r = l + k;
    if (sgmin.query(l, r) == a[l] and sgmax.query(l + 1, r + 1) == a[r]) {
      ans -= 1;
    }
  }
  cout << ans << endl;
}

int main() {
  
  // naive();
  solve();
  return 0;
}


Measured memory_bytes: 5120