if f satisfies suitable regularity conditions (we need not specify them here since in the context of modular forms they will be satisfied)
(again omitting any convergence or regularity assumptions)
it is well-known (prove it otherwise) that
To avoid stupid multiplicative constants,
i like this author
