using System;

public class Program
{
    private int N, K;
    private long[] H;

    public void Solve()
    {
        var sc = new Scanner();
        N = sc.NextInt();
        K = sc.NextInt();
        H = sc.LongArray();

        // i個目までみる j個変更
        var dp = new long[N + 2, K + 1];
        for (int i = 0; i <= N + 1; i++)
        {
            for (int j = 0; j <= K; j++)
            {
                dp[i, j] = long.MaxValue;
            }
        }

        dp[0, 0] = 0;

        for (int i = 0; i <= N; i++)
        {
            for (int j = 0; j <= Math.Min(i, K); j++)
            {
                long height = i == 0 ? 0 : H[i - 1];
                long current = dp[i, j];
                if (current == long.MaxValue) continue;
                for (int s = 0; s <= K - j; s++)
                {
                    // s: スキップする数
                    int nextI = i + s + 1;
                    int nextJ = j + s;

                    if (nextI >= N + 2 || nextJ > K)
                    {
                        break;
                    }

                    long nextHeight = nextI - 1 >= N ? 0 : H[nextI - 1];
                    if (height < nextHeight)
                    {
                        dp[nextI, nextJ] = Math.Min(dp[nextI, nextJ], current + nextHeight - height);
                    }
                    else
                    {
                        dp[nextI, nextJ] = Math.Min(dp[nextI, nextJ], current);
                    }
                }
            }
        }

        long ans = long.MaxValue;
        for (int i = 0; i <= K; i++)
        {
            ans = Math.Min(ans, dp[N + 1, i]);
        }

        Console.WriteLine(ans);
    }

    public static void Main(string[] args)
    {
        new Program().Solve();
    }
}

class Scanner
{
    public Scanner()
    {
        _pos = 0;
        _line = new string[0];
    }

    const char Separator = ' ';
    private int _pos;
    private string[] _line;

    #region スペース区切りで取得

    public string Next()
    {
        if (_pos >= _line.Length)
        {
            _line = Console.ReadLine().Split(Separator);
            _pos = 0;
        }

        return _line[_pos++];
    }

    public int NextInt()
    {
        return int.Parse(Next());
    }

    public long NextLong()
    {
        return long.Parse(Next());
    }

    public double NextDouble()
    {
        return double.Parse(Next());
    }

    #endregion

    #region 型変換

    private int[] ToIntArray(string[] array)
    {
        var result = new int[array.Length];
        for (int i = 0; i < array.Length; i++)
        {
            result[i] = int.Parse(array[i]);
        }

        return result;
    }

    private long[] ToLongArray(string[] array)
    {
        var result = new long[array.Length];
        for (int i = 0; i < array.Length; i++)
        {
            result[i] = long.Parse(array[i]);
        }

        return result;
    }

    private double[] ToDoubleArray(string[] array)
    {
        var result = new double[array.Length];
        for (int i = 0; i < array.Length; i++)
        {
            result[i] = double.Parse(array[i]);
        }

        return result;
    }

    #endregion

    #region 配列取得

    public string[] Array()
    {
        if (_pos >= _line.Length)
            _line = Console.ReadLine().Split(Separator);

        _pos = _line.Length;
        return _line;
    }

    public int[] IntArray()
    {
        return ToIntArray(Array());
    }

    public long[] LongArray()
    {
        return ToLongArray(Array());
    }

    public double[] DoubleArray()
    {
        return ToDoubleArray(Array());
    }

    #endregion
}

Measured memory_bytes: 13272