Displaying similar documents to “Mean number of real zeros of a random trigonometric polynomial. IV.”