[math-fun] H.Brady's |exp(ix)|=1 request