IMO 1974 LL NET21

Origin: NET

Problem

Let M be a nonempty subset of Z+ such that for every element x in M, the numbers 4x and [\sqrtx] also belong to M. Prove that M = Z+.