View source for User:Schubotz/DLMF-Test

{{DISPLAYTITLE:Formula:DLMF:25.2:E9}}
<div id="drmf_head">
<div id="alignleft"> << [[Formula:DLMF:25.2:E8|Formula:DLMF:25.2:E8]] </div>
<div id="aligncenter"> [[Definition_and_Expansions#DLMF:25.2:E9|formula in Definition and Expansions]] </div>
<div id="alignright"> [[Formula:DLMF:25.2:E10|Formula:DLMF:25.2:E10]] >> </div>
</div>

<br /><div align="center">{{#invoke:Wd|property|P1|}}</div>

== Constraint(s) ==
{{#invoke:Wd|properties|P9|format=%p<br/>}}

== Proof ==
<div align="left">Follows from <br />
<math id="DLMF:25.2:E8">{\displaystyle \Riemannzeta@{s} = \frac{1}{\EulerGamma@{s}} \int_0^\infty \frac{x^{s-1}}{\expe^x-1} \diff{x} }</math><br />
by repeated integration by parts.</div>

== Symbols List ==
<ul>{{#invoke:Wd|properties|linked|raw|qualifier|P4|P1|format=<li>%q: %p</li>}}</ul>


& : logical and<br />
<span class="plainlinks">[http://dlmf.nist.gov/25.2#E1 <math>{\displaystyle \zeta}</math>]</span> : Riemann zeta function : [http://dlmf.nist.gov/25.2#E1 http://dlmf.nist.gov/25.2#E1]<br />
<span class="plainlinks">[http://drmf.wmflabs.org/wiki/Definition:sum <math>{\displaystyle \Sigma}</math>]</span> : sum : [http://drmf.wmflabs.org/wiki/Definition:sum http://drmf.wmflabs.org/wiki/Definition:sum]<br />
<span class="plainlinks">[http://dlmf.nist.gov/1.2#E1 <math>{\displaystyle \binom{n}{k}}</math>]</span> : binomial coefficient : [http://dlmf.nist.gov/1.2#E1 http://dlmf.nist.gov/1.2#E1] [http://dlmf.nist.gov/26.3#SS1.p1 http://dlmf.nist.gov/26.3#SS1.p1]<br />
<span class="plainlinks">[http://dlmf.nist.gov/24.2#i <math>{\displaystyle B_{n}}</math>]</span> : Bernoulli polynomial : [http://dlmf.nist.gov/24.2#i http://dlmf.nist.gov/24.2#i]<br />
<span class="plainlinks">[http://dlmf.nist.gov/1.4#iv <math>{\displaystyle \int}</math>]</span> : integral : [http://dlmf.nist.gov/1.4#iv http://dlmf.nist.gov/1.4#iv]<br />
<span class="plainlinks">[http://dlmf.nist.gov/24.2#iii <math>{\displaystyle \widetilde{B}_{n}}</math>]</span> : periodic Bernoulli functions : [http://dlmf.nist.gov/24.2#iii http://dlmf.nist.gov/24.2#iii]<br />
<span class="plainlinks">[http://dlmf.nist.gov/1.4#iv <math>{\displaystyle \mathrm{d}^nx}</math>]</span> : differential : [http://dlmf.nist.gov/1.4#iv http://dlmf.nist.gov/1.4#iv]<br />
<span class="plainlinks">[http://dlmf.nist.gov/1.9#E2 <math>{\displaystyle \Re {z}}</math>]</span> : real part : [http://dlmf.nist.gov/1.9#E2 http://dlmf.nist.gov/1.9#E2]
<br />

== Bibliography==

<span class="plainlinks">[HTTP://DLMF.NIST.GOV/25.2#E9 Equation (9), Section 25.2]</span> of [[Bibliography#DLMF|'''DLMF''']].

== URL links ==

We ask users to provide relevant URL links in this space.

<br /><div id="drmf_foot">
<div id="alignleft"> << [[Formula:DLMF:25.2:E8|Formula:DLMF:25.2:E8]] </div>
<div id="aligncenter"> [[Definition_and_Expansions#DLMF:25.2:E9|formula in Definition and Expansions]] </div>
<div id="alignright"> [[Formula:DLMF:25.2:E10|Formula:DLMF:25.2:E10]] >> </div>
</div>