MathDB
binary type sequence

Source: INMO 2009 Problem 2

January 18, 2009
functionalgebra unsolvedalgebra

Problem Statement

Define a a sequence {<{a_n}>}^{\infty}_{n\equal{}1} as follows a_n\equal{}0, if number of positive divisors of n n is odd a_n\equal{}1, if number of positive divisors of n n is even (The positive divisors of n n include 1 1 as well as n n.)Let x\equal{}0.a_1a_2a_3........ be the real number whose decimal expansion contains an a_n in the n n-th place,n1 n\geq1.Determine,with proof,whether x x is rational or irrational.