Seventeen Points (noch nicht übersetzt)
Problem 794
This problem uses half open interval notation where [a,b) represents a≤x<b.
A real number, x1, is chosen in the interval [0,1).
A second real number, x2, is chosen such that each of [0,12) and [12,1) contains exactly one of (x1,x2).
Continue such that on the n-th step a real number, xn, is chosen so that each of the intervals [k−1n,kn) for k∈{1,...,n} contains exactly one of (x1,x2,...,xn).
Define F(n) to be the minimal value of the sum x1+x2+...+xn of a tuple (x1,x2,...,xn) chosen by such a procedure. For example, F(4)=1.5 obtained with (x1,x2,x3,x4)=(0,0.75,0.5,0.25).
Surprisingly, no more than 17 points can be chosen by this procedure.
Find F(17) and give your answer rounded to 12 decimal places.