fransen-robinson constant