
import java.util.*;

public class Main {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        int X = sc.nextInt();
        List<Integer> list = check(100003);
        int ans = 0;
        for(int i=0;i<list.size();i++){
            if(list.get(i) >= X) {
                System.out.println(list.get(i));
                return;
            }
        }
    }

    public static List<Integer> check(int n) {
        // 探索リスト生成
        boolean[] search = new boolean[n+1];
        Arrays.fill(search, true);

        // 素数でないものはfalseにする
        for(int i=2; i<Math.sqrt(n); i++){
            // 素数の倍数なら何もしない
            if(!search[i]){
                continue;
            }

            // 素数の倍数をふるい落とし
            for(int j=2; i*j <= n; j++){
                search[i*j] = false;
            }
        }

        List<Integer> primeList = new ArrayList<>();
        for(int i=2; i<search.length; i++) {
            if (search[i]) {
//                System.out.println(i);
                primeList.add(i);
            }
        }
        return primeList;
    }
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz