BOJ 4948 - 베르트랑 공준

소수는 무조건 존재한다