[math-fun] The three quartersth singular value