#include <stdio.h>
int main()
{
	int n, h;
	scanf("%d%d", &n, &h);
	int temp, width=0;
	int i;
	for(i=0; i<n; ++i)
	{
		scanf("%d", &temp);
		if(temp<=h)
			++width;
		else
			width+=2;
	}
	printf("%d\n", width);
	return 0;
}

  

 posted on 2019-11-06 10:44  ComMario  阅读(117)  评论(0)    收藏  举报