#include <stdio.h>

int main(void)
{
	int box;
	int candy;
	int count = 0;
	int box_candy[10] = {0};
	int tmp;
	int i, j;

	scanf("%d %d", &box, &candy);

	for ( i = 0; i < box; i++ ) {
		scanf("%d", &box_candy[i]);
	}

	for ( i = 0; i < box - 1; i++ ) {
		for ( j = 0; j < box - 1; j++ ) {
		if ( box_candy[j] >= box_candy[j+1] ) {
			tmp = box_candy[j];
			box_candy[j] = box_candy[j+1];
			box_candy[j+1] = tmp;
			}
		}
	}

	tmp = 0;

	for ( ;; ) {
		if ( candy != 0 ) {
			if ( box_candy[0+tmp] != 0 ) {
				box_candy[0+tmp]--;
				candy--;
				if ( box_candy[0+tmp] == 0 && candy == 0 ) {
					count++;
					break;
				}
			} else {
				tmp++;
				count++;
			}

			if ( candy == 0 ) {
				break;
			}
		}
	}

	printf("%d\n", count);
}