Solution:
No such set exists, which we will show by a proof by contradiction. Suppose S has the stated property. Clearly M is then infinite, and we may assume without loss of generality that 1∈/M. We denote the elements of M, ordered by size, by m1<m2<m3<….
Case 1: We have mi≥2mi−1 for all i≥2. Then mi≥2i−1m1 holds for all i≥1, and it follows that
r∗:=i=1∑∞mi1≤i=0∑∞2im11=m12,
that is, if m1≥3 or mi>2mi−1 holds for at least one i, then r∗<1. In this case, however, M does not satisfy the condition stated in the problem text, contrary to the assumption, if s∈(r∗,1) is chosen. Thus we must have m1=2 and mi=2mi−1 for all i, so M consists exactly of the powers of two greater than 1. Since 1/3=∑i=2∞2−i cannot be written as a finite sum of reciprocals of powers of two, we also get a contradiction in this case.
Case 2: There exists an i>1 such that mi<2mi−1. We consider
r:=mi−11−mi1<mi1.
By assumption there exists a finite subset S⊂M such that ∑s∈S1/s=r holds. Because s<1/mi, we have mi∈/S. But then S1=S∪{mi} and S2={mi−1} are two distinct finite subsets of M such that the sums of the reciprocals of S1 and S2 both equal 1/mi−1, which is a contradiction.