“Название задачи можнонапевать на мотив маршаили строевой песни…”
How many irreducible fractions exist in the interval [0..1] with denominator not exceeding n?
One positive integer n (n < 10001).
Print the number of irreducible fractions in the interval [0..1] with denominator not exceeding n.