Skip to main content
7 events
when toggle format what by license comment
Nov 9, 2022 at 16:50 history edited GH from MO CC BY-SA 4.0
added 2 characters in body
Nov 9, 2022 at 11:53 vote accept math110
Nov 9, 2022 at 11:53 comment added math110 very nice solution!+1
Nov 9, 2022 at 10:16 comment added Fedor Petrov ...and I guess you know lemma from here: problems.ru/view_problem_details_new.php?id=109607
Nov 9, 2022 at 10:05 comment added Ilya Bogdanov @FedorPetrov Can it be applied to prove the inequality directly?
Nov 9, 2022 at 9:58 comment added Fedor Petrov Lemma immediately follows from $N(f)=\frac1{2\pi}\int |f(e^{it})|^2dt$
Nov 9, 2022 at 9:01 history answered Ilya Bogdanov CC BY-SA 4.0