use std::io::Read;

fn main() {
	let mut wd = String::new();
	std::io::stdin().read_to_string(&mut wd).ok();
	let mut itr = wd.trim().split_whitespace();
	let mut w: usize = itr.next().unwrap().parse().unwrap();
	let d: usize = itr.next().unwrap().parse().unwrap();

	for i in (2..=d).rev() {
		w -= w / (i * i);
	}
	
	println!("{}", w);
}