The answer is that the given property holds for all n=2. For n=1, the set {1} satisfies (3). For n=2, note that no set satisfies (3); if a1 or a2 equals 1, then a11+a21>1, if a1 and a2 are both at least two, then a11+a21≤21+31<1.
k1=k+ℓ1+k(k+1)1+(k+1)(k+2)1+⋯+(k+ℓ−1)(k+ℓ)1.(4)
Indeed, if we use k(k+1)1=k1−k+11 then the right-hand side of (4) is equal to
k+ℓ1+(k1−k+11)+(k+11−k+21)+⋯+(k+ℓ−11−k+ℓ1)=k+ℓ1+k1−k+ℓ1.
Substituting k=1 and ℓ=n−1 into (4), we obtain an identity
1=n1+1⋅21+2⋅31+3⋅41+4⋅51+⋯+(n−1)⋅n1.(5)
If n=k(k+1) for all k≥1, this is a sum of n distinct reciprocals, each with denominator smaller than n2. This shows that the given property holds for all n≥3 not of the form k(k+1).
Suppose that there exists some k≥1 such that n=k(k+1). Then we apply to the right-hand side of (5) the substitutions n1+(n−1)n1=n−11 and 61=101+151. Then we get the identity
1=n−11+21+101+151+3⋅41+4⋅51+⋯+(n−2)⋅(n−1)1.(6)
This is a sum of n reciprocals. Note that each denominator of each reciprocal is smaller than n2; this is only non-obvious for the term 151, and since n=k(k+1) and n≥3, we in particular have n≥6, and therefore n2>15. Now we show that these reciprocals are distinct.
Note that k(k+1) is always even. Since n is of the form k(k+1), n−1 is odd and therefore not of this form. Furthermore, n−1 is also unequal to 2, 10 and 15, since 3, 11 and 16 are not of the form k(k+1). Also, 10 and 15 themselves are not of the form k(k+1). Therefore all the reciprocals in the right-hand side of (6) are distinct. So the given property holds for all n≥3 of the form k(k+1) as well. □