Li-Fan Chen says to YSITD
sqrt(10-2*sqrt(5))/4
at Fri, Apr 21, 2017 8:24 PM