#include #include #include #include #include // テストケース検証用の定数 constexpr int MIN_N = 3; constexpr int MAX_N = 1000000; constexpr int MIN_L = 1; constexpr int MAX_L = 5000000; // Eratosthenesの篩により、素数表をつくる std::vector sieve_of_eratosthenes(int end) { assert(end > 1); std::vector is_prime(end, true); is_prime[0] = false; is_prime[1] = false; for (int i = 2; i < end; i++) { if (is_prime[i]) { for (int j = 2 * i; j < end; j += i) { is_prime[j] = false; } } } return is_prime; } // 素数計数関数の表をつくる // 上のEratosthenesの篩とは区間のとりかたが異なることに注意 std::vector pcf_table(int last) { assert(last >= 1); auto is_prime = sieve_of_eratosthenes(last + 1); std::vector pcf(last + 1); // 漸化式pcf[i] = pcf[i - 1] + f(i)で計算していく // ただしiが素数ならばf(i) = 1、さもなければf(i) = 0 // 単純なボトムアップの動的計画法による for (int i = 1; i <= last; i++) { pcf[i] = pcf[i - 1] + int(is_prime[i]); } return pcf; } // 鴨等素数間隔列を数える long long count_seqs(int n, int l) { // 初項x0のとりうる最大値 auto x0_max = l - n + 1; if (x0_max < 0) { return 0; } // x0が決まれば、dの最大値d_maxが決まる auto d_max = [&](int x0) {return (l - x0) / (n - 1); }; // max d_max(x0) = d_max(0) // そこまでの素数計数関数の表をつくる auto pcf = pcf_table(d_max(0)); // 答えはintにおさまらないことがある long long answer = 0; for (auto x0 = 0; x0 <= x0_max; x0++) { answer += pcf[d_max(x0)]; } return answer; } int main() { std::cin.tie(nullptr); std::ios::sync_with_stdio(false); int n, l; std::cin >> n >> l; assert(MIN_N <= n and n <= MAX_N); assert(MIN_L <= l and l <= MAX_L); std::cout << count_seqs(n, l) << std::endl; return EXIT_SUCCESS; }