#![allow(unused_imports, unused_macros, dead_code)]

macro_rules! min {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        it.next().map(|z| it.fold(z, |x, y| min!(x, y)))
    }};
    ($x:expr) => ($x);
    ($x:expr, $($ys:expr),*) => {{
        let t = min!($($ys),*);
        if $x < t { $x } else { t }
    }}
}
macro_rules! max {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        it.next().map(|z| it.fold(z, |x, y| max!(x, y)))
    }};
    ($x:expr) => ($x);
    ($x:expr, $($ys:expr),*) => {{
        let t = max!($($ys),*);
        if $x > t { $x } else { t }
    }}
}


macro_rules! ewriteln {
    ($($args:expr),*) => { let _ = writeln!(&mut std::io::stderr(), $($args),*); };
}
macro_rules! trace {
    ($x:expr) => { ewriteln!(">>> {} = {:?}", stringify!($x), $x) };
    ($($xs:expr),*) => { trace!(($($xs),*)) }
}
macro_rules! put {
    (.. $x:expr) => {{
        let mut it = $x.iter();
        if let Some(x) = it.next() { print!("{}", x); }
        for x in it { print!(" {}", x); }
        println!("");
    }};
    ($x:expr) => { println!("{}", $x) };
    ($x:expr, $($xs:expr),*) => { print!("{} ", $x); put!($($xs),*) }
}

const M: i64 = 1_000_000_007;

#[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Copy, Debug)]
enum HypInt {
    NegInf, Real(i64), Inf
}
use HypInt::{Real, NegInf, Inf};
use std::ops::{Add, Sub, Neg};
impl Add for HypInt {
    type Output = Self;
    fn add(self, rhs: HypInt) -> HypInt {
        match (self, rhs) {
            (Real(x), Real(y)) => Real(x + y),
            (Inf, _) => Inf,
            (_, Inf) => Inf,
            _ => NegInf,
        }
    }
}
impl Sub for HypInt {
    type Output = Self;
    fn sub(self, rhs: HypInt) -> HypInt {
        match (self, rhs) {
            (Real(x), Real(y)) => Real(x - y),
            (Inf, _) => Inf,
            (_, Inf) => NegInf,
            (NegInf, _) => NegInf,
            (_, NegInf) => Inf,
        }
    }
}
impl Neg for HypInt {
    type Output = Self;
    fn neg(self) -> HypInt {
        match self {
            Inf => NegInf,
            NegInf => Inf,
            Real(x) => Real(-x),
        }
    }
}

fn main() {
    let mut sc = Scanner::new();
    let n: usize = sc.cin();
    let k: usize = sc.cin();
    if k >= n {
        put!(0);
        return;
    }
    let hs: Vec<i64> = sc.vec(n);
    let mut dp: Vec<HypInt> = hs.iter().map(|&x| Real(x)).collect();
    for _ in 0..n-k-1 {
        let mut alt = vec![Inf; n];
        for x in 0..n {
            let v: Vec<HypInt> = (0..x).map(|i| {
                dp[i] + Real(max!(0, hs[x] - hs[i]))
            }).collect();
            alt[x] = *(min!(..v).unwrap_or(&Inf));
        }
        dp = alt;
    }

    match min!(..dp) {
        Some(&Real(x)) => put!(x),
        _ => {}
    }
}

use std::io::{self, Write};
use std::str::FromStr;
use std::collections::VecDeque;

struct Scanner { stdin: io::Stdin, buffer: VecDeque<String>, }
impl Scanner {
    fn new() -> Self { Scanner { stdin: io::stdin(), buffer: VecDeque::new() } }
    fn cin<T: FromStr>(&mut self) -> T {
        while self.buffer.len() == 0 {
            let mut line = String::new();
            let _ = self.stdin.read_line(&mut line);
            for w in line.split_whitespace() {
                self.buffer.push_back(String::from(w));
            }
        }
        self.buffer.pop_front().unwrap().parse::<T>().ok().unwrap()
    }
    fn chars(&mut self) -> Vec<char> { self.cin::<String>().chars().collect() }
    fn vec<T: FromStr>(&mut self, n: usize) -> Vec<T> { (0..n).map(|_| self.cin()).collect() }
}
	

Measured memory_bytes: 4352