From a7bb73b1a24b31c865ec76d81aa3ef2087bd0c8c Mon Sep 17 00:00:00 2001
From: oncsr <khj20006@naver.com>
Date: Mon, 3 Feb 2025 16:43:56 +0900
Subject: [PATCH] =?UTF-8?q?[20250203]=20BOJ=20/=20=EA=B3=A8=EB=93=9C5=20/?=
 =?UTF-8?q?=20=EB=AA=A8=EB=8F=85=20/=20=EA=B6=8C=ED=98=81=EC=A4=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../03 BOJ G4 \353\252\250\353\217\205.md"    | 44 +++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 "khj20006/202502/03 BOJ G4 \353\252\250\353\217\205.md"

diff --git "a/khj20006/202502/03 BOJ G4 \353\252\250\353\217\205.md" "b/khj20006/202502/03 BOJ G4 \353\252\250\353\217\205.md"
new file mode 100644
index 00000000..bea30d70
--- /dev/null
+++ "b/khj20006/202502/03 BOJ G4 \353\252\250\353\217\205.md"	
@@ -0,0 +1,44 @@
+```java
+
+import java.util.*;
+import java.io.*;
+
+class Main {
+	
+	// IO field
+	static BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
+	static BufferedWriter bw = new BufferedWriter(new OutputStreamWriter(System.out));
+	static StringTokenizer st;
+
+	static void nextLine() throws Exception {st = new StringTokenizer(br.readLine());}
+	static int nextInt() {return Integer.parseInt(st.nextToken());}
+	static long nextLong() {return Long.parseLong(st.nextToken());}
+	static void bwEnd() throws Exception {bw.flush();bw.close();}
+	
+	// Additional field
+	
+
+	public static void main(String[] args) throws Exception {
+
+		nextLine();
+		int N = nextInt();
+		int[] A = new int[N];
+		for(int i=0;i<N;i++) A[i] = Integer.parseInt(br.readLine());
+		Arrays.sort(A);
+		
+		long ans = 0;
+		int c = 1;
+		for(int i=0;i<N;i++) {
+			int p = i;
+			while(i<N-1 && A[i] == A[i+1] && A[i] == c) i++;
+			ans += (long)(i-p+1)*Math.max(0,A[p]-c++);
+		}
+		bw.write(ans+"\n");
+		
+		
+		bwEnd();
+	}
+
+}
+
+```