About: http://webisa.webdatacommons.org/329047935

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Suppose ABCD is a square, and suppose that |F(x)-F(y)| <= S|x-y| everywhere, where S = sin-1(1/???3).
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net