How many proper irreducible fractions are there in the interval [0..1] with denominator not exceeding n?
A natural number n (n < 10001).
Print the number of proper irreducible fractions in the interval [0..1] with denominator not exceeding n.
Example 1
Example 4