(***********************************************************************

                    Mathematica-Compatible Notebook

This notebook can be used on any computer system with Mathematica 4.0,
MathReader 4.0, or any compatible application. The data for the notebook 
starts with the line containing stars above.

To get the notebook into a Mathematica-compatible application, do one of 
the following:

* Save the data starting with the line of stars above into a file
  with a name ending in .nb, then open the file inside the application;

* Copy the data starting with the line of stars above to the
  clipboard, then use the Paste menu command inside the application.

Data for notebooks contains only printable 7-bit ASCII and can be
sent directly in email or through ftp in text mode.  Newlines can be
CR, LF or CRLF (Unix, Macintosh or MS-DOS style).

NOTE: If you modify the data for this notebook not in a Mathematica-
compatible application, you must delete the line below containing the 
word CacheID, otherwise Mathematica-compatible applications may try to 
use invalid cache data.

For more information on notebooks and Mathematica-compatible 
applications, contact Wolfram Research:
  web: http://www.wolfram.com
  email: info@wolfram.com
  phone: +1-217-398-0700 (U.S.)

Notebook reader applications are available free of charge from 
Wolfram Research.
***********************************************************************)

(*CacheID: 232*)


(*NotebookFileLineBreakTest
NotebookFileLineBreakTest*)
(*NotebookOptionsPosition[    120203,       3494]*)
(*NotebookOutlinePosition[    121196,       3525]*)
(*  CellTagsIndexPosition[    121152,       3521]*)
(*WindowFrame->Normal*)



Notebook[{
Cell[GraphicsData["Bitmap", "\<\
CF5dJ6E]HGAYHf4PAg9QL6QYHg<PAVmbKF5d0`40005N000061000`40O003h00OogooGgoo003oOomO
Ool00?mooemoo`00ogooGgoo000026jjL[aZ_7:kJ[ab_6ZkL[`3K[/01g:lK[a^^fjkK[a^^g:l00=^
^`09K[ab_6jlK[aZ_7;LK[a^^fjl009^^`03L[aZ_7:k009^^`05K[ab_6kKK[a^^`03K[`026jkK[a^
^fjlK]]^^fjlK[/2K[`01VjkL[a^^fjlK[]b_09^^`04K]ab^fZlL[`2K[/2K[`01fjjL]aZ_6jlK[]b
_6jk009^_009K[]b_6jlK[]^g6jkJ[]^_6jk009^_0A^^`08L[a^_6ZkK[a^^fkLK[ab_09^^`0;K]a^
_6kKL[]Z_6kKK[]^_7;LK[a^^`02K[`02FjkK]a^_6jkK[aZ_7:kK]a^_002K[/00fjlL[a^_002K[/0
1FkLL[a^^fjlL_d00W;l00YboGLML_ac7G<LLaeg77<lMaec?0=g?@08Mcig?GLmMeig?GMMNeigG@9g
GP0ENgmkGG]NMgikGG]oMgekOW]NNgikWW]nNeikWW]nNiikOg^NOgigWWnN009kWP0;Ogik_WnNNkik
WWnONiio_gnnNimoW`02Okl02G^nOkmo_gnoOmmo_g^nOkmog`02Okl2Oml2Okl2Oml2Okl6Oml01Woo
OmmoggooOmmoo`9og`03Oomoggoo009oo`03Ommoogoo06eoo`0000=44dPCB1<00TPC00I44dPCA1=8
4dPDA1<2B1<00d@CB1=84`02A1<2B1<014@CB1=44dPB0TPC01Q44dPBB1A84d@CB1=44dPCA1A84d@C
B1=44dPCA1=84dPBA1=84dPDB1=44dPCB1@2B1<01d@CB1=44dPCA1=44TPC00944`984`09A1=84dPC
A1=854PCA1=84d@C00=84`07A1984d@CB1=44dPCA1<00TPC00E44dPCB1=84d@C00984`04A1=84d@C
A1<2B1<01D@CB1<l4C`A@1000S`A00A043`A?150408l4@04@14l4C`@@142?1403D0@?14l4D0A?10l
4D0A?10l4D0A?10l4D0B00904@07@1944T@CA19@54`ED9@00U1e00=@]EBeD;H00UCf0UDG01II5eEG
FCMM>5UgFEMMUefHGGQM^5fgGKUQ^5gHHMQUf67IHOQQnF8IIQUR6@9V6@0OISYVFVHjISYZFVIjJUYZ
NVIjJWYZNfZJKY]ZNVjKJY]Z^fjKJY]^^fjlK]]^_6jkK[a^nfkLL[]^g7;lL]`00Vkl02YboG;lLaeb
o7<MMaac7G<LLaec?7<nMcag?G<lMeegGWMLMeig?G]NNeegGWMmMeikGG]nNgmgWG]nNeigWWmnNimk
OW^oNgio_W^nOimkggnONmh2Okl01GoOOkmoogoOOkl00WoO00=oogoOOml0G7oo00003U3fE?ED]UCg
E=EDmUBeE?I@mUCeE?I@]ECfD?H2E?H01UBfE?ED]UCgE?I@]@=DmP0@E;EDee3fE;IDmECfD?IDmUBe
E?IDmE3fE?ED]UCGE;D2E?H03eBgE?E@]UCeE?MDmE3FE?E@mUBfE?EDme3eE;IDm`02E?H04eCeE=MD
mECFD?ID]UCfE?EDmUBeE?IHmeCEE?ED]UCgD?IDmUCe009DmP08D?ID]ECfE=IDmeCeD;IDm@=DmP0B
E;MDmECfE?EDmUCFE?ID]UCFD?MLdEBfE?ID]U2eE;I@mUBf0UBe01m@mUBfD;ED]UCfE;ED]U2eE?ID
]U3eE;I@mUBeD;ID]eCfE?EDmeTGEAEE5eTgFEMEEUUHGGMMF5fGGIQQ^002GKP0667HIMQMn6GIHOUR
66GiHQYV6F8IJUYV>FHJJUYVFVYJJW]VFVZJJU]VVfYjKW]^V`9ZV`0?K[]ZVfjkKY]^ffjkK[a^fg:l
K]]bo6kLL]]boFkl00Abo00<Laec77;lLaac7GLLLaec77LmLceg7G<m1GLm0WMM00agGWLmNeigGG]N
NeegGgMMNgigOW]mNel2Ngh04W^NNgmkWW^ONgik_WnONiioWW^NNkmoWg_NOimoggnNOmmk_`=o_`9o
g`03OkmoogoO00=ogf9oo`0000AD]E2fD9A<509<5@08E;ID]E1fD7ED]EBfC1A@5@9<500aC1E@5D`D
D7ED]E2fD1A<5E0DD7E@54`EC1A@5EAeE;I@MD`ED1A<5E0DD;I@U4`DC1E<551eD7A<5E0DC1E@54`E
D1A@5E1eC1A@5E1eE;I@]50EE;EDMU0EC3A<5E0DC1D00T`D00=D]U2eD1D00T`D011@5E1fC1A@54`E
D1A@]UBfD7E@54`EC1A@UEBeE;I<5@=<500XD9A@MD`ED1A@MUBeD9E<550EC1A@MU3GE?E@]E2fE;I@
mE2fE;E@]UCfE;E@]UCFD?E@]UBfE;E@mUBeE;I@eUBeE;I@mUBeE?I@]ESfE=D2EAL07UUFFAMI=Udh
FGIIN5egFIQIUefGHKUM]f6iGKQQfF7HHOUUnF8HIOUR6FGjHQUVFVHiIUYZ>VHjIUYZNP9ZFP0GJW]Z
VfZJKWYZVfjkJY]^VVjkJY]b_6ZKK]]^_6kKK]a^^g;LK]abfg;MK_abg004L_`00g<ML_ac7002Lad0
37LMLaag?G<LMcec?GLmLceg?W<lMaigGP=gG@06NeicOG]nNeegOgMN0W]n00=gOG]nNgh00g]n00ik
WW^ONgikWW^nNimo_g^NOkmkWgnoNiiogg^n0Wno00=oggnoOml00WoO00=o_gooOml00WoO00AoogoO
Oomogeioo`0006YD]U1eHOUboFYjL_aE5E0FGIQQn50EE?E^g6jKISY^VfkKJW]^g67HD1EQ^6kLISU^
_5fhJW]^VfXjK]aMf50DGKQbo6IJJW]^Vd`EJUY^g6HiL[aQf6HIK[aV6VjkJY]^Vg;lHOYMMfkLK[]V
6E0DEAMUnD`EFIMbo6YKJWYZVfjKK[]^Nd`EE;I^g6IKKW]VNUfGL_aV>VjKKW]@MU1dIQUbo6HjJ[]Z
>TaeB1=bo7^oMaegGUTGGMQb_6klHKQ@5F6hK]aV>G;LHMQ@U52fE;IDm@9D]P0?E;E@mUBfE;ED]U3f
E;ED]UBeD?ID]UBeE;I@mUBe009D]P0KD;ED]U2eE?IDeUSgEAII5UTGFCIIF5UGGGQMEeUhGIMQN66I
GKMQV5gHHMQMf6GIHQQQfF7i009V6@09HQUVFFHIISYZ>VHjIUYZNFXj009ZN`9ZNP9ZV`08JYY^NfjK
KY]ZVfkLKY]^f`=^^`03K]]b_6kk009^g007Laa^fg;mL_ac77;lL_d00W<L00QboG<LLaec77<MLaag
?G<M1GLm00mgGGLlMcigGGMNMeekGWMMNeikGGMMNgigOG]oMgd00W]n00=gWG]oNgh00g^N00UoOg^o
Ogik_g^NOkikWgnnNkl00Wno00=oggnoOml00Wno0goO00IoogoOOomoggooOmmOOol0000RD;EDMUDf
L_aoof8IE;I<4fXjOom44e1eHOUkOWooNgmI5WooKY]DmE1fE?EZNgooOkm@M5DFNkioofYjE?M@METG
HQT2Ool06ETGD1EEEWLNOom^o5BfEAIg?GooKW]MMefGHMQooeUhMcaooeBfD1EMMgooB1=DmUUG009o
o`07E=Ig?GooE?ID]E2EFGL00Woo00=I5eBfGOP00Woo00UIEeAdD7IE5VYKOomoWeCeB1<00Woo01UH
mdadKY]oof6HOom^Ve3fD7IDmFYKOomoge2fE;ID]E3fE;ID]EBfE?ID]EBfD;IDm@02E;H01U2eE?ID
]EBfD;IDm@9D]P0TD;EDmUBfE;IDmUBeDAIDmETGE=MIEUDgFCII=eUfGGQIUeUhGIMM]f6iGKQQ^5fh
IOUMf6GIHQQUnF7iHQUUnFHJIUUV6VII0VYJ00QVFVYJIUYZNVYkJWYZNfik0VZK00A^VfZKKYY^V`9^
^`0<K[a^ffjlK_a^fW:lK_]bg6kLK_abnfkM0g;l00ac7G;lLaec7GKlLaeg7G<mLaeg?7<mMah2Mcd0
17MNMcegGWLm0WMM00akGWMMMeigOGMONgegGG]nNgekOgMmNgl3Nih03G]nNimkWW^nOgik_W^OOimk
_gnnNkmoWg^o009o_`05Nkmo_goOOkmkg`06Oml4Ool00goOOomoo`1JOol0001WE;I@mE2EA1=ogdPD
D;E<56jKOomQfD`DD1E@UGooHMQ44efGK[a<55BfB1AQV7ooE?E@5D`EGCQooeCFD1A@]U2eA19oogMN
B1=DmE0EC1Aoof6hC1E@550EOomIUd`DD7I855fgNgi857MNC1=<5F7hOom^^dPDB1=kOWooA1=84g^N
B1A@]UBeA19oog;lB1A@]D@COomoOT@CD;IDmU1e@19oofijA1=V>GooB1A@553EB1AVFWLMD;A^g4`D
E?E<55fHOomD]U0ED;D00UBf00MD]E3fE;E@]EBfD?ID]@02E;H01U3eE;ID]EBfD?ID]@9D]P0BD?ED
]UBeE;IDmE2eE;IHmeDFEAMI5UDGFAMMMeUGFGQIMeeH0UfG00MMN5fHHKQM^67HGMQQf@02HOT026Gi
HQUV6FHiHQYV6FIIJSX2ISX016IjJUYZNVYk0VYj00MZNfZjKW]Z^fZKKY]Z^`02K[/03FjLK]]^_7:k
K[]bg6kLL]a^o6kKL_aboG;k009bo00JL_ebo7;lL_ec77<MMcac7G<LMcac7GLmLcag?G<mMcegGWML
MeigGGMNMcekGWMmNcigO@9kOP0LNeikOgMmNgikWW]NNiikOW^NNgik_W]nNkmoWW^NNkioWg^oOkmo
WWoONkioggnoOmmo_gooOkl2Oml017ooOmmoogoO0Woo00=oggooOol0G7oo00002E2eE;IDmD`ELaeQ
f51fC1Ag?P02Ool03T`DD7A@5GooL]a<4dPDOom<5D`CA1=boGooB1@2D;D0K52DOomV>D`EE;ED]TPD
OimoodPDE;ID]DPDOom^g4`DE;I84gooL]a<4e2fFAI<5E2EC1=kOU1fC1A^W7ooOkm@5DPCL_eoodPD
C1EbffXjB1=855BfOomQnE0DE;I<57]nOom84eCfE;EDmTPCOomo_d0BNgiood@CE?ID]EBfC1=MfD`D
Omm@5D`D@1=foGooB1AD]E3hE?ID]UCgE;EDmeBfE?ID]UCgD;EDmeBfE?I@]UCfE;IDme2eE?MD]UCf
D;IDmUBfF=M@mECeF=MI5UTHFCIIE`9I=`0XGGQMMeVHGIMMV5fGHKQM^67HHKUQn67HHMUQn67iIOQR
6VGjIQUVFFHJHSYZNVHjJUUVNfIJJWYZNfZJKW]ZNfZjKW]^VfZkKY]ZVfjlK]/2K[/03FklK[]^g7;K
K]abg6kLL]]bo7;mLaa^o7<L009c7@05Maabo7<MLaeg7002Lad05WLlMcig?G<mMcecGGLmMcigG7MN
NeegGWMMNeicOG]NMeigOWMmNgikOg]M0W^N015kOW^ONgikWWmoNkikOW^oOimk_WnNNkmk_W^oOiio
ggnn009o_`04Oomo_gooOkl4Oml01GooOmmoogooOml0GGoo000025CfE;I@]U1eHOQc?50DB1@2Ool0
36HIL_a<54PDOomkGT`DD1EQf7ooMeikG@9oo`1:B1=@mUBeB1AoofjLC1ADmU2eC1Ag7Goo@19<550E
A19oognNB1ADeDPDOomg?T0BC1AoOd`CE;I@5G:lHMQ44goOOomI5WLmA1=^VgooB1=DMD`EOomgGW]M
Ommooe2eD9ED]D`DK]aoodPDE;ED]U2eB1Ao_goo@15o_gooB1A@]EBfD;E@mUBEC1EQf7ooMeekG@9o
o`09B1=@]U3HE?I@]U2eE;I@mUBe009@]P06E?ED]U2eE;IDmU2e0UBf00a@mEBfE;E@]UBfE;E@mU2f
E?ED]UCfE?D2EAL03EUGFAII=eeHFGIIF5egGIQIUf6hGIQQ^5fi009Qf003HMUQn68I009Qn@0<ISUR
6FIIIQYV>FYJISUZFVIJJU]ZFVYj0VYk00IZNVZKKW]ZVfZkKYX2KY/02VkKJ[]b^f[LK[]b_6kKK[]^
o7;L0Vkl01eboG;LL_abo7<LM_ac77;mLaac7GLLLaec?GLlLaeg?G<mMcegGGLMMcegGGMNMcegGWMM
MeigOW]N009gG@=kOP0@NeegWg]NMiikWW]mNimkWW^nOgik_WnNNkmoWW^oOih2Okl01G_ONimoggno
Oml00gno00AoggooOmmoo`=ogf1oo`0000i@]EBeE;I@]E0EOim854PCOomoWT0BOom<5DPC0Woo00U8
55BfB1Aoge0EB1Aoog<MC1@00UBf00e44gooOim84eBfE?I<56HkOomZ>VZKKY]V>P02Ool0?DPDE;I8
57^NOomb_7oOOom855BeD9EIUg<M@15oog]n@15o_dPDHKQooe1eD;E<57<MIQU857MNOom855BfD?I<
56HIOom@UE1fE?ED]T`DK]aooc`AMcioodPCE;IDmUBfE;E@]EBfB1Aooe0EB1AoogLMC1=@mU2g009D
]@0BE?ID]E2fE;IDmEBfD;ID]E3fE;E@]UBfD?ED]U2fE;E@mUBe0UBf00A@]EBfE;IDm@9De`0GEAEI
5eTFECMIEeTfGGQIMeUHFIMQN5VHGKQM]f6hGKUQf67iHMUUnF7iISUQn@02IQT03FHiIU]V>FHjIUYZ
NVHiJWYZFVIkJWYZVfij009ZV`0LKY]ZVfZkK[]^Vg:LJ[]b^fjlK]]^g7;LK]]^g7;kL_a^ng;mL_a^
o7;lLaec77;lLaec77<MMa`2Lad09GLlLceg?GLmLcag?WMMMcegGG/nMeekGWMMNeigGG]oMgigGG]m
MemkOW]mNimoGWNNNiikOW]oNiik_gmoNiioWW^oOimkggnO009o_P04Ommk_goOOkl4Oml01gnoOmmo
ggooOmmoogoO05moo`0000iD]U2fE?ED]T`DMeeDMUCfOom^fd@CKYabo40B0Woo03E84eBeD1EZVegH
B1=oofHIC1ADmU2eC1Ao_gooB1=DeU2eD1EMUgooIQUMN5ghFAMg?GooB1=D]D`DL_eooeCfJWYood`D
D;I@]E0EMce84gooJY]<55gHKY]@MWooFEM@5U3DE;Ig?C`A009oo`0[B1=D]UBeC1EMN7ooGEQ@U52f
E;E<5FYJOom44f6hOomD]E1eD;EDmE2fE;IDmU0DKW]MfDPCOomV6D`EE;ID]E2fE?ID]E2fE;IDmE2f
E;ID]ECfE;D00UBf00IDmEBfE;ID]ECfE;D2E;H0<53eE;ID]U3eE;IE5UCeFAMHmUDgFEII=eUHFEIM
N5fGGGMMV5fGHKQM^F6hGOQQf67IHQQUf68IHOUV6F8JIQUV>VHIISYZ>VIIJU]ZNVIJJW]^NVYjJY]Z
NfZJKY]ZV`9^V`0@J[]b_6ZkL]]^_6kKK]ab^fklK]afg6klK]abgFlKL_d3L_`01FkmMaac7G;mMc`0
0W<M01Ig?7<mMaig?7<mMcigGGLmMeegGW=LNeig?G]NMeekOWMMNeekOW]oNgekW@9kOP0AMiikOW]o
OiikWW^nNgik_WnNMkmoWW^oOiik_gnOOmmkW`02Okl01goONkmoggoOOkmoggoo009og`=oo`03Ommo
ogoo05aoo`0001m@]ECfD;I@]E0EJWYR6EehOomUnT`DB1=ood@BMeioodPDE;I@]EBeMciM>7ooFAM@
UE1eE;I<4g;mOom85002E;H0;U1dD7IooegiC1=@MD`CISYood`EE;I<4fYjOom44dPCNgiE5e1dE;I<
56jLISUoof6iD1A857]mE?Ioof7IC7ED]T`DLceDMWooL_e<552EE;ID]D`EOomVFU0E0UBf00Q<5EVG
OomIEd@COomg7DPD0UBf011D]E2fC1A@eE0EMceM>7ooFAM@55BfE?ID]E2fE;IDm@9D]P0>E;E@mUBf
E;E@]UCeE;I@]UBeE?I@]UBeE;I@m@9D]P08E;EDmUBfD;EHme4FFAIE5`9I5`05GGMI=eUhFGMIF002
GIL01F6IGKMQ^5gHHKP00V7H00MQfV7hHOUUnFHiIOUV>@02ISX056IIISYZ>VIjJUYZNfYJIW]^VVYk
K[]ZNfjKK[]ZVfjKKYYZVg;KJ[`2K[/066kKL]a^fW;LK]]bgG;kLaebg6klMaabo7<LL_aboG<LMaec
7G<LMcec7GLlLceg7P=g?@0@Mcig?GMMMeigGGMNMeegOW]MMgigOGMNNgekOg]nMgh2Ngh057^NMiek
Og^NOgmk_W]oNkioWW^oOimk_g^NOmmkWgoOOkmoggnoOml2Okl017ooOmmoggoo0WoO00=oogoOOol0
GWoo0002E;H04eBeE;ID]ECfL[a^VgooEAI@UE0DJY]VFVXjOom<552eE;I<56Hi009oo`0PB1=E5V5h
C1A<5FYjOom<4e2fD1AMN4PDOom^Vd`DE;I@MEfGOomIEe1dC7EQ^7ooFEM@5E2ED1EHmeCeD7IDmP9o
o`0XD9A@MU1eHOQ^_7ooISU@552eD7ED]WnnOomQnD`DHMU<4e2fB1=oog;LC1A@]E2fFAI@5GooIQU8
4fYJOom<550ED;E@eEBfLae@54`EIST2Ool0FD@CC1E@ME2eE?MD]UCfE;IDme2eE?MD]ECgE;IDmUBf
E?MD]ECgE;EDmeBfE?ID]UCgE;EDme2eF?MDeUCeF?ME5eTGFCMIEUTgFEMMMeeHGIMMV5fGFIMM^66H
GKQQf67iHMUQn67IIOUV>67iIQUR6FHjISUV>VYjISYVFVYjJUYVNVYjJW]VNVikJW]Z^VZKK[Y^VfZK
L]aZ_6jKK[]^ng:lK]abg6kLK_abo6kLL]`00g;l00U^oGKmLaabo7<MLaac7GLMLa`00W<M01=g?GLl
Mcec?GMMMcegGGMNNceg?WMmMeikGGMNMeekGg]mNgigG@02Ngh017^NOgigOWnO0g^N00aoWW^nOgik
_WnONkikWgoONiioggnNOml2Okl00goOOkmoo`05Oml00gooOmmoo`1OOol00007D;E@mUBfE?E@]TPD
L_/00Woo00a<552eE;I<57mnIUYooeSgD7EDeE2fB1<2Ool06DPCC1EooeSgA1=D]WooE;I855CfOolh
47ooOim04eBeC1E857ooIQY8550EB1Aoof6i00984`05C1Aooe2fE7Dl4002Ool0GT`DD;ED]TPDNeeo
og;LA1=D]U2eB1AkGWooE?I<57<lNem44T0AOomogd@CA19ogf7H>11oog;LA1=04WoOOom<54`EC1AQ
^7ooB1AD]DPCOomogeVGOomQ^52EE;EDmU2fE;ED]U3fE;ED]U2eE?ID]U2eE;IDmU2eE;ID]E3fE;ID
mE2fE?ID]E2fE;I@mUCfF=II5eDeEAMI=eUFFCMIN5UgHGQIMefHHIQM]efhHKQQ^EgHHOQQnF8H0V7i
00=V6F8iIQX00VHi0VHj00eZFVIJJUYZNVYJJW]VNVikJYY^VfYkKY]ZV`02K[/04FjKK[]^_6kKK[a^
nfjkK]abnfkLK]]c76kML_]c77;mL_/00W<M0W<L00Ic7G<LLaeg?G<LMcd2Lcd3Mcd03gMMLcegGGMN
NeegGW]MMeigOG]nLeekOg]NNgigOP02Ngh05WMnNiikOWNNOiikOW^OOiik_gnONkioWWoONimoggno
Nkmo_WoONkmo_goO0Wno00=oggooOml00WoO00=oogoOOol0GWoo0002E;H01E2eD;ID]U0DFGP00Woo
00E84eBfE?I<568I009oo`0CEEM<55BfE;I857KlOmm854`DK[]oog;LMceoogoOK[]oogoOJWX00Woo
00Ag?ECfFEMoW`9oo`03J_]I=gnN009oo`07L_aboGooOom84eTFMch00Woo00E855BfD=I@M5UG009o
o`09LaeDmEBfD9A@]WooC1=@]T`D009oo`08L[aoogooKYYkWgooE;Ig7@9oo`07LaeDeD@BMeioofYj
ISX00Woo04I<55BfC1Abg7^NHKUoof8ID1A@mU2fE;E@]U3fE;E@]U2eE?I@]U2eE;I@mU2eE;I@]E3f
E;I@]E2fE;I@]E3fE;E@mUBfE=EDmUDFEAMI=eTFFEMM>5UfGGQIEefHFIMMV5fhHKQMf5fhHMQQfFGI
HOQR6FHJHQUV6FHiIQYV>VIIJSYV>FYJIW]VFP9ZN`05KW]ZVfjKIWYZV`02KY/0<fjkKY]Z^g;KK[aZ
^g:lK[]^ng:lL]a^g7;lK]]bo7;mL_a^ngKmLaebng;mMaebo7<mMaec77LmLaag?WLmLcec?7LnMeeg
?GMNMeagGWMMMeigGG]NMgikGW]mMgekOg]mOeigWP02Ngh2Nih03G]nNimkWg^nOgik_gnOOkmkWW^o
OkioWgoO009o_`=og`03OkmoogoO009og`05OomoggooOomog`1NOol0000>D;EDmUBfE;I@]51fJWYo
ogoOB1AD]E2fE;I44`9oo`0[Nei@MEBeE;I@]DcEGCM@MEBfD7EM^5DFE=I855CfEAII=eehHKQ@]U2D
IQU@]UTFHOQ<55CFIMUDmV7HC1AD]F7iHKUIUeAeD7E@mV7iE?ED]U2eE;D00UBf00A@55CfEAIR6@9D
]P0XE?I<55TGD;ED]DbEGIMI=eDGC1A<5ETgE;EM^5BfHOU@5EBeIOUD]U2eC1A@]FYJJWYD]TPCE;ID
mE2fD7EE5T`DFAM@55BfE;ED]UCfE;D2E;H01UCeE;ID]EBfE?ID]@9D]P06E?ED]UBeE;IDmUBe0UBf
021D]EBfE;EDmUCgF=IE5UTGFAIIEeDgFEMMEeUhGGQIUf6HGGMQ^EfhHKQQ^EghHMUQnF7HIQUQn6Gi
HQ]V6FHi0VHj0VIJ0VYJ01QZNVYJIW]ZVVYjKW]^^fjKIY]^^fjJJY]bVfZkK]]b^fjkL[a^g6kkL]a^
g6klL]`2L_`03VklL_abo7;lLaec77;mLaec77<MMcec77LmLc`2Mcd04GLnMceg?WMMMaegGW]MMeig
GG]NMeekGWMmMgmkGG]nMgh00W]n0W^N00=kOW^NOil00g^N00Yk_gnNNkikWgnoOiio_g^nNkmog`9o
_`05Ommo_gooOkmoo`05Oml2Ool00goOOomoo`1KOol0000DE;ID]ECfD;E@5G^NNeibo6HjD1EDmUBe
E;I@567IMcebo7oOEAM@]@9D]P0ND7ED]U2fE;E@5E1eE=ED]U1eE7I@UE1dD7IDM51fD9EDME2fD7ED
]E1fD9A@]U2EE7E@MU2ED7A@5E2e0UBf015@U5AeD;I@]EBfE;E@mUBfD9A@MU1eE;E@]UBeE;I@eUBe
009D]P03D7A@MU2D009D]P1<D9ADMU1eD;E@5E2dD7I@UEBeD;ID]U2eD1E@552fD=ID]EBfD;ID]EAf
E;E@]UBfD;ED]UCfD;ED]UBeD?ID]UBeD;IDmUBeD;ID]ECfD;ID]EBfD?ID]EBfD;EDmUBfD;EDmUCF
EAE@mUTGF=IEEeDfGEMI=eUgGGMIUeeHGIMIV5fgHIUQf5gHIMQQfF7HHQQUnV7iHST2IQT03FHiISYZ
>FHjJS]VFVYjIUYZNfYjJUYZNfjk009ZN`0AK[Y^NfZkKYa^ffjKK[a^^fkkK[a^^fkLK_abg6kKL_eb
g002L_`036lLLaaboG<kM_ec7GLLLaeg77<LLaec?@9g?@04Lceg?GLmMcd2Med02GLnMeeg?W]MMgik
GW=MNemkG@02Ngh01g^NMeikWW]nNgmkWW]n00=kWP08OimkWW^oNiiogg^NOkmk_`Ao_`04Ommo_goO
Okl3Oml00gooOmmog`1QOol0002CE;E@]UBfE=I@]D`DC1E<550EE;I@]ECFE?I@]U0DC1A<5D`DE;I@
eUBeE;I@mUBfE;E@eUCfE;I@]EBfE?I@]UBeE=I@mUBfE;E@]UCfE;I@]ECFE?I@]UBeE;I@mUBfE;E@
eUCfE;I@]EBfE?I@]UBeE=I@mUBfE;E@]UCfE;I@]ECFE?I@]UBeE;I@mUBfE;E@eUCfE;I@]EBfE?I@
]UBeE=I@mUBfE;E@]UCfE;I@]ECFE?I@]UBeE;I@mUBfE;E@eUCfE;I@]EBfE?I@]UBeE=I@mUBfE;E@
]UCfE;I@]ECFE?I@]UBeE;I@mUBfE;E@eUCfE;I@]EBfE?ID]U2eF=ME5EDGFAMI5UTGFGQMEeEGGGQM
MeVGHIQMUefhGKMM^F6h009Mf00ZIQUQfF7hIOUV6V8iIQUV6VIIISYZ>VIIIUYZFVYkIUYZNfZJIWY^
NfZjJ[]ZVfjkKY]^^VZlK]a^^fkLK[]bg6kKL]a^ffkLL_a^ng;ML_ac7G;k0g;m00mc6g<MLaeg77<M
Mcec77LlMcig7GLmLcig?GMMMch00WMM019gGW]MMeigGGMnNgegOGMnNgigGW]mNiigOW]nNgek_W^N
Ogl3Nih01WnnNiio_g^OOkmk_P9o_`06OkioggnoNkmoggno1WoO00=oogoOOol0Ggoo0000Oe2fE=ID
]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID
]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID
]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID
]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID]UCFE;IDeUBfE=ID
]UCFE;IDeUBf009DeP06E?EHeeTGEAMI=eTf0UTg00EMMeeHFIMMV5Ug009Q^00:GKUQ^5gHHOUUfF7h
IOUQnFHiHQT2IQT02fIIJSUV>fYJIUYZFfYjJUY^NfZJJW/00VjK00=ZNfjKKY/00VjK00IZ^g:LK[]b
^f[KL[`2K]/02VkLL]abnfklL]a_6g;mL_]boG;l0W<L01IboG<MLaac7GLmLaag?W<MLceg?G=MMcag
?WMLMeikGGMNNeegGW]mMeikG@9gGP0BNgikGW]nNeikOW]NMimkWW]nNgmkWW^oNgio_g]oOkmkWg^n
0Wno00Ek_gnoNmmo_gnn00Eog`05OomoggooOomog`03Ool00goOOomoo`1KOol00025?10l4C`@?14l
43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l
43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l
43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l
43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l43`A?10l4C`@?14l
43`A?10l4D0A?1504D0BA1400T@C02U44T@CB1=84dPDB1=<54PCC1E@54adD7E@M52eD;I@eECeD=II
5UDFECMI=UDfFGIIEeUgFIIIMefGFKMMN5fgGMQM^67HGMQQn67iHOQQnF8H009R6@0?IQUR>FHiISYV
>FHjIUYZFVIJJUYVFVYjIWYZNVYk009ZVP9ZV`04JYY^VfZkJ[X2K[/036kKK[]^ffkKK]a^ffklK_]^
o7;lK_abo0Ec7009Lcac?G<lMcag7G=MMcecG7Lm00=gG@04Mgeg?GMmNeh2Mgd027]mMgikOGNNNiik
OW^NMih2Nih02W^ONkikWW^oOkmk_WoONkmogg_O0WoO00=oogoOOol0Egoo0000\
\>"], "HeaderCell",
  ShowCellBracket->False,
  CellMargins->{{0, 0}, {Inherited, 0}},
  Evaluatable->False,
  ImageSize->{350, 24},
  ImageMargins->{{0, 0}, {0, 0}},
  ImageRegion->{{0, 1}, {0, 1}}],

Cell["Thirty-Three Representations of Catalan's Constant", "Title"],

Cell["Victor Adamchik", "Author"],

Cell[TextData[{
  "Catalan's constant ",
  Cell[BoxData[
      FormBox[
        TagBox["C",
          Catalan], TraditionalForm]], "InlineInput",
    FontWeight->"Plain"],
  " is a numerical constant (called ",
  StyleBox["Catalan", "InlineInput",
    FontWeight->"Plain"],
  " in ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  ") that appears in many combinatorial and analytic settings. This notebook \
presents thirty-three integral and series representations of Catalan's \
constant, some of them new. For each representation, a proof is given, \
accessible by pressing the proof button. Often the proof consists of simply \
evaluating the representation directly in ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  ". In other cases, explicit symbolic manipulation in ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " is needed to develop a proof."
}], "Text"],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Integral]\_0\%1\(\(\( tan\^\(-1\)\)(x)\)\/x\) 
                  \[DifferentialD]x\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%1\( ArcTan[x]\/x\) \[DifferentialD]x\)], "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1\/2\ \(\[Integral]\_0\%\(\[Pi]\/2\)\(x\/\(sin(x)\)\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ \(\[Integral]\_0\%\(\[Pi]\/2\)\(x\/Sin[x]\) \[DifferentialD]x\) // 
      FullSimplify\)], "Input",
  CellLabel->"In[3]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[3]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(-\(\[Integral]\_0\%1\(\(log(x)\)\/\(x\^2 + 1\)\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(\[Integral]\_0\%1\( Log[x]\/\(x\^2 + 1\)\) 
          \[DifferentialD]x\)\)\)], "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1\/2\ \(\[Integral]\_0\%\[Infinity]\(x\ \(sech(x)\)\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ 
      \(\[Integral]\_0\%\[Infinity]\( x\ Sech[x]\) \[DifferentialD]x\)\)], 
  "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\(-2\) 
                \(\[Integral]\_0\%\(\[Pi]\/4\)\(log(2\ \(sin(x)\))\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-2\) \(\[Integral]\_0\%\(\[Pi]\/4\)Log[2\ Sin[x]] \[DifferentialD]x\) 
      // FullSimplify\)], "Input",
  CellLabel->"In[4]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[4]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(2\ \(\[Integral]\_0\%\(\[Pi]\/4\)\(log(2\ \(cos(x)\))\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(2\ \(\[Integral]\_0\%\(\[Pi]\/4\)Log[2  Cos[x]] \[DifferentialD]x\) // 
      FullSimplify\)], "Input",
  CellLabel->"In[5]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[5]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[\(\ 
              \[Integral]\_0\%\(\[Pi]\/4\)\(log(cot(x))\) \[DifferentialD]x\),
              
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%\(\[Pi]\/4\)Log[Cot[x]] \[DifferentialD]x\)], "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Integral]\_0
                    \%\(\[Pi]\/2\)\(\(x\ \(csc(x)\)\)\/\(cos(x) + sin(x)\)\) 
                    \[DifferentialD]x - 1\/4\ \[Pi]\ \(log(2)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%\(\[Pi]\/2\)\(\(x\ Csc[x]\)\/\(Cos[x] + Sin[x]\)\) 
            \[DifferentialD]x - 1\/4\ \[Pi]\ Log[2] // FullSimplify\)], 
  "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              RowBox[{"-", 
                
                StyleBox[
                  \(\[Integral]\_0
                      \%\(\[Pi]\/2
                          \)\(\(x\ \(csc(x)\)\)\/\(cos(x) - sin(x)\)\) 
                      \[DifferentialD]x\),
                  ScriptLevel->0]}], 
              StyleBox["+",
                ScriptLevel->0], 
              StyleBox[\(1\/4\ \[Pi]\ \(log(2)\)\),
                ScriptLevel->0]}], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/4\ \[Pi]\ Log[2] - 
        Integrate[\(x\ Csc[x]\)\/\(Cos[x] - Sin[x]\), {x, 0, \[Pi]\/2}, 
          PrincipalValue \[Rule] True] // FullSimplify\)], "Input",
  CellLabel->"In[6]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[6]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            StyleBox[
              RowBox[{
              \(2\/\[Pi]\ 
                  \(\[Integral]\_0\%1\(\(\(tan\^\(-1\)\)(x)\)\^2\/x\) 
                      \[DifferentialD]x\)\), "+", 
                FractionBox[
                  RowBox[{"7", " ", 
                    TagBox[
                      RowBox[{"\[Zeta]", "(", 
                        TagBox["3",
                          (Editable -> True)], ")"}],
                      InterpretTemplate[ Zeta[ #]&]]}], \(4\ \[Pi]\)]}],
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(2\/\[Pi]\ \(\[Integral]\_0\%1\( ArcTan[x]\^2\/x\) \[DifferentialD]x\) + 
        \(7\ Zeta[3]\)\/\(4\ \[Pi]\) // FullSimplify\)], "Input",
  CellLabel->"In[7]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[7]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            StyleBox[
              RowBox[{
                RowBox[{
                  FractionBox[
                    StyleBox["1",
                      ScriptLevel->0], \(2 \[Pi]\)], " ", 
                  \(\[Integral]\_0\%1\(x\^2\/\(sin(x)\)\) 
                      \[DifferentialD]x\)}], "+", 
                FractionBox[
                  RowBox[{"7", " ", 
                    TagBox[
                      RowBox[{"\[Zeta]", "(", 
                        TagBox["3",
                          (Editable -> True)], ")"}],
                      InterpretTemplate[ Zeta[ #]&]]}], \(4\ \[Pi]\)]}],
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(7\ Zeta[3]\)\/\(4\ \[Pi]\) + 
        \(1\/\(2\ \[Pi]\)\) 
          \(\[Integral]\_0\%\(\[Pi]\/2\)\(x\^2\/Sin[x]\) \[DifferentialD]x\) // 
      FullSimplify\)], "Input",
  CellLabel->"In[8]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[8]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(-\(\[Integral]\_0\%1\(\(log(\(1 - x\)\/\@2)\)\/\(x\^2 + 1\)\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(\[Integral]\_0\%1\( Log[\(1 - x\)\/\@2]\/\(x\^2 + 1\)\) 
            \[DifferentialD]x\)\) // FullSimplify\)], "Input",
  CellLabel->"In[9]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[9]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(-\(\[Integral]\_0\%1
                    \(\(log(\ \(1 - x\^2\)\/2)\)\/\(x\^2 + 1\)\) 
                    \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(\[Integral]\_0\%1\( Log[1\/2\ \((1 - x\^2)\)]\/\(x\^2 + 1\)\) 
            \[DifferentialD]x\)\) // FullSimplify\)], "Input",
  CellLabel->"In[10]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[10]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(3\/4\ \(\[Integral]\_0\%\(\[Pi]\/6\)\(x\/\(sin(x)\)\) 
                      \[DifferentialD]x\) + 1\/8\ \[Pi]\ \(log(\@3 + 2)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(3\/4\ \(\[Integral]\_0\%\(\[Pi]\/6\)\(x\/Sin[x]\) \[DifferentialD]x\) + 
        1\/8\ \[Pi]\ Log[\@3 + 2] // FullSimplify\)], "Input",
  CellLabel->"In[11]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[11]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              RowBox[{"-", 
                StyleBox[\(\[Pi]\^2\/4\),
                  ScriptLevel->0]}], 
              StyleBox[" ",
                ScriptLevel->0], 
              
              StyleBox[
                \(\[Integral]\_0\%1\(\((x - 1\/2)\)\ \(sec \((\[Pi]\ x)\)\)\) 
                    \[DifferentialD]x\),
                ScriptLevel->0]}], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "We split the interval of integration to get\n ",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Integral]\_0\%1\(\((x - 1\/2)\)\ \(sec(\[Pi]\ x)\)\) 
            \[DifferentialD]x = 
        \[Integral]\_0\%\(1\/2\)\(\((x - 1\/2)\)\ \(sec(\[Pi]\ x)\)\) 
              \[DifferentialD]x + 
          \[Integral]\_\(1\/2\)\%1\((x - 1\/2)\)\ \(sec(\[Pi]\ x)\) 
              \[DifferentialD]x\)]],
  "."
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData[{
  "The change of variables x\[Rule]1-x in the first integral gives \n",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Integral]\_0\%\(1\/2\)\(\((x - 1\/2)\)\ \(sec(\[Pi]\ x)\)\) 
            \[DifferentialD]x = 
        \[Integral]\_\(1\/2\)\%1\(\((x - 1\/2)\)\ \(sec(\[Pi]\ x)\)\) 
            \[DifferentialD]x\)]],
  ", which is the same as the second integral. \nTherefore the original \
integral is ",
  Cell[BoxData[
      \(TraditionalForm
      \`\(-\(\[Pi]\^2\/2
              \)\)\ \(\[Integral]\_\(1\/2\)\%1\(\((x - 1\/2)\)\ \(sec(
                \[Pi]\ x)\)\) \[DifferentialD]x\)\)]],
  ".\nUnfortunately, ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " doesn't currently know this integral directly. However, we can perform a \
couple steps by hand and compute it:"
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(\[Pi]\^2\/2\)\)\ \ Map[
        \((\[Integral]\_n\%1 # \[DifferentialD]x)\) &, 
        Expand[\((x - 1\/2)\)\ Sec[\[Pi]\ x]]]\)], "Input",
  CellLabel->"In[17]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(-\(1\/2\)\), " ", \(\[Pi]\^2\), " ", 
        RowBox[{"(", 
          RowBox[{
            RowBox[{\(1\/\[Pi]\^2\), 
              RowBox[{"(", 
                RowBox[{
                \(\(-n\)\ \[Pi]\ \(log(
                      1 - \[ImaginaryI]\ \[ExponentialE]\^\(\[ImaginaryI]\ n\ \
\[Pi]\))\)\), "+", 
                  \(n\ \[Pi]\ \(log(
                      1 + \[ImaginaryI]\ \[ExponentialE]\^\(\[ImaginaryI]\ n\ \
\[Pi]\))\)\), "-", 
                  \(\[ImaginaryI]\ \(\(Li\_2\)(
                      \(-\[ImaginaryI]\)\ \[ExponentialE]\^\(\[ImaginaryI]\ n\
\ \[Pi]\))\)\), "+", 
                  \(\[ImaginaryI]\ \(\(Li\_2\)(
                      \[ImaginaryI]\ \[ExponentialE]\^\(\[ImaginaryI]\ n\ \
\[Pi]\))\)\), "+", \(\[Pi]\ \(log(1 + \[ImaginaryI])\)\), "-", 
                  \(\[Pi]\ \(log(1 - \[ImaginaryI])\)\), "-", 
                  RowBox[{"2", " ", 
                    TagBox["C",
                      (Catalan&)]}]}], ")"}]}], "-", 
            \(\(log(cos(\(n\ \[Pi]\)\/2) - sin(\(n\ \[Pi]\)\/2)) - 
                  log(cos(\(n\ \[Pi]\)\/2) + sin(\(n\ \[Pi]\)\/2)) - 
                  \[ImaginaryI]\ \[Pi]\)\/\(2\ \[Pi]\)\)}], ")"}]}], 
      TraditionalForm]], "Output",
  CellLabel->"Out[17]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(Limit[%, \ n \[Rule] \ 1/2] // FullSimplify\)], "Input",
  CellLabel->"In[18]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[18]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1\/2\ \(\[Integral]\_0\%1\(K(x\^2)\) \[DifferentialD]x\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "We have an integral representation for the elliptic function:\n ",
  Cell[BoxData[
      \(TraditionalForm\`\(\n
      K(x)\  = \ 
        \[Integral]\_0\%1 1\/\@\(1 - x\ \(\(sin\^2\)(t)\)\)\ 
            \[DifferentialD]t\)\)]]
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData[{
  "Changing the order of integration, we get\n\n",
  Cell[BoxData[
      \(TraditionalForm
      \`1\/2\ \(\[Integral]\_0\%1\( K(x\^2)\) \[DifferentialD]x\)\  = \ 
        1\/2\ \(\[Integral]\_0
              \%\(\[Pi]\/2\)\(\[Integral]\_0\%1
                \( 1\/\@\(1 - x\^2\ \(\(sin\^2\)(t)\)\)\) \[DifferentialD]x\ 
                \[DifferentialD]t\)\)\)]],
  "\n"
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData[{
  "Now we use ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " to evaluate the double integrals. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%1\( 1\/\@\(1 - x\^2\ Sin[t]\^2\)\) 
        \[DifferentialD]x\)], "Input",
  CellLabel->"In[14]:="],

Cell[BoxData[
    \(TraditionalForm\`\(\(sin\^\(-1\)\)(sin(t))\)\ \(csc(t)\)\)], "Output",
  CellLabel->"Out[14]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ \(\[Integral]\_0\%\(\[Pi]\/2\)% \[DifferentialD]t\) // 
      FullSimplify\)], "Input",
  CellLabel->"In[15]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[15]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Integral]\_0\%1\(E(x\^2)\) \[DifferentialD]x - 1\/2\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "Again, we have an integral representation for the elliptic function:\n ",
  Cell[BoxData[
      \(TraditionalForm
      \`E(x) = \[Integral]\_0\%\(\[Pi]\/2\)\(\@\(1 - x\ \(\(sin\^2\)(t)\)\)\) 
            \[DifferentialD]t\)]],
  "\n \nThen\n\n",
  Cell[BoxData[
      \(TraditionalForm
      \`\(-\(1\/2\)\) + \[Integral]\_0\%1\( E(x\^2)\) \[DifferentialD]x\  = 
        \(-\(1\/2\)\) + 
          \[Integral]\_0
              \%\(\[Pi]\/2\)\(\[Integral]\_0\%1
                \(\@\( 1 - x\^2\ \(\(sin\^2\)(t)\)\)\) \[DifferentialD]x\ 
                \[DifferentialD]t\)\)]],
  "\n\nNow we use ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " to do the double integration. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%1\(\@\( 1 - x\^2\ Sin[t]\^2\)\) \[DifferentialD]x\)], 
  "Input"],

Cell[BoxData[
    \(TraditionalForm
    \`1\/2\ \((\(\(sin\^\(-1\)\)(sin(t))\)\ \(csc(t)\) + \@\(\(cos\^2\)(t)\))
        \)\)], "Output"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(1\/2\)\) + 
        \[Integral]\_0\%\(\[Pi]\/2\)PowerExpand[%] \[DifferentialD]t // 
      FullSimplify\)], "Input"],

Cell[BoxData[
    FormBox[
      TagBox["C",
        Catalan], TraditionalForm]], "Output"]
}, Open  ]],

Cell["\[FilledSquare]", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Integral]\_0\%\(\[Pi]\/2\)\(\(sinh\^\(-1\)\)(sin(x))\) 
                  \[DifferentialD]x\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "We start with the integral representation ",
  Cell[BoxData[
      \(TraditionalForm
      \`\(sinh\^\(-1\)\)(z) = 
        \[Integral]\_0\%1\( z\/\@\(t\^2\ z\^2 + 1\)\) \[DifferentialD]t\)]],
  ".\nSubstituting this integral into the given integral and changing the \
order of integration gives ",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Integral]\_0\%\(\[Pi]\/2\)\(\(sinh\^\(-1\)\)(sin(x))\) 
            \[DifferentialD]x = 
        \[Integral]\_0\%1
            \((\[Integral]\_0
                  \%\(\[Pi]\/2
                      \)\(\(sin(x)\)\/\@\(z\^2\ \(\(sin\^2\)(x)\) + 1\)\) 
                  \[DifferentialD]x)\) \[DifferentialD]z\)]],
  ".\nNow we integrate with ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  ". "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%1 Limit[
          \[Integral]\_n\%\(\[Pi]\/2\)\(Sin[x]\/\@\(z\^2\ Sin[x]\^2 + 1\)\) 
              \[DifferentialD]x, \ n \[Rule] \ 0] \[DifferentialD]z\)], 
  "Input",
  CellLabel->"In[23]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[23]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Immediate corollaries", "Subsubsection",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData[{
  "It immediately follows  that\n",
  Cell[BoxData[
      \(TraditionalForm
      \`C = \[Integral]\_0\%\(\[Pi]\/2\)\(\(sinh\^\(-1\)\)(cos(x))\) 
            \[DifferentialD]x\)]],
  "\n",
  Cell[BoxData[
      \(TraditionalForm
      \`C = \[Integral]\_0\%\(\[Pi]\/2\)\(\(csch\^\(-1\)\)(csc(x))\) 
            \[DifferentialD]x\)]],
  "\n",
  Cell[BoxData[
      \(TraditionalForm
      \`C = \[Integral]\_0\%\(\[Pi]\/2\)\(\(csch\^\(-1\)\)(sec(x))\) 
            \[DifferentialD]x\)]]
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            StyleBox[
              RowBox[{
                SubsuperscriptBox["\[Integral]", "0", 
                  StyleBox["1",
                    ScriptLevel->0]], 
                RowBox[{
                  SubsuperscriptBox["\[Integral]", "0", 
                    StyleBox["1",
                      ScriptLevel->0]], 
                  \(\(1\/\(\@\(1 - x\)\ \@\(1 - y\)\ \((x + y)\)\)\) 
                    \[DifferentialD]x \[DifferentialD]y\)}]}],
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "We consider the more general integral ",
  Cell[BoxData[
      FormBox[
        RowBox[{\(1\/4\), 
          StyleBox[
            RowBox[{\(\[Integral]\_0\%1\), 
              RowBox[{\(\[Integral]\_0\%1\), 
                RowBox[{
                  FractionBox[
                    StyleBox[
                      SuperscriptBox[
                        StyleBox["x",
                          ScriptLevel->0], "\[Lambda]"],
                      ScriptLevel->0], 
                    \(\@\(1 - x\)\ \@\(1 - y\)\ \((x + y)\)\)], 
                  \(\[DifferentialD]x\), \(\[DifferentialD]y\)}]}]}],
            ScriptLevel->0]}], TraditionalForm]]],
  ", where \[Lambda] is an arbitrary parameter. We can evaluate this integral \
with ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  "."
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(int\  = \ 
      1\/4\ Integrate[
          x\^\[Lambda]\/\(\@\(1 - x\)\ \@\(1 - y\)\ \((x + y)\)\), {y, 0, 1}, 
          {x, 0, 1}, GenerateConditions \[Rule] False]\)], "Input",
  CellLabel->"In[15]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/\(4\ \(Gamma(\[Lambda] + 3\/2)\)\)\), 
        RowBox[{"(", 
          RowBox[{\(\@\[Pi]\), " ", \(Gamma(\[Lambda] + 1)\), " ", 
            RowBox[{"(", 
              RowBox[{
                FractionBox[
                  RowBox[{\((2\ \[Lambda] + 1)\), " ", 
                    TagBox[
                      RowBox[{\(\(\[ThinSpace]\_3\)F\_2\), "(", 
                        RowBox[{
                          TagBox[
                            TagBox[
                              RowBox[{
                                TagBox["1",
                                  (Editable -> True)], ",", 
                                TagBox["1",
                                  (Editable -> True)], ",", 
                                TagBox[\(1\/2 - \[Lambda]\),
                                  (Editable -> True)]}],
                              InterpretTemplate[ {
                                SlotSequence[ 1]}&]],
                            (Editable -> False)], ";", 
                          TagBox[
                            TagBox[
                              RowBox[{
                                TagBox[\(3\/2\),
                                  (Editable -> True)], ",", 
                                TagBox[\(1 - \[Lambda]\),
                                  (Editable -> True)]}],
                              InterpretTemplate[ {
                                SlotSequence[ 1]}&]],
                            (Editable -> False)], ";", 
                          TagBox[\(-1\),
                            (Editable -> True)]}], ")"}],
                      InterpretTemplate[ HypergeometricPFQ[ #, #2, #3]&]]}], 
                  "\[Lambda]"], "-", 
                \(\(2\^\(\(-\[Lambda]\) - 1\)\ \[Pi]\^\(3/2\)\ \(csc(
                        \[Pi]\ \[Lambda])\)\ \(Gamma(\[Lambda] + 3\/2)
                        \)\)\/\(Gamma(\[Lambda]\/2 + 1)\)\^2\)}], ")"}]}], 
          ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[15]="]
}, Open  ]],

Cell[TextData[{
  "To find the original integral we need to find the limit of this expression \
as \[Lambda] tends to 0. This in turn means that we need to find the \
asymptotic expansion of ",
  Cell[BoxData[
      \(TraditionalForm\`\(\[ThinSpace]\_3\) F\_2\)]],
  ". For that we convert the hypergeometric function into a series and look \
at the general term. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(HypergeometricPFQ[{1, 1, 1\/2 - \[Lambda]}, {3\/2, 1 - \[Lambda]}, 
        \(-1\)] /. 
      HypergeometricPFQ[a_, b_, z_] \[RuleDelayed] 
        \(Times@@Pochhammer[a, k]\ z\^k\)\/\(Times@@Pochhammer[b, k]\ \
\(k!\)\)\)], "Input",
  CellLabel->"In[16]:="],

Cell[BoxData[
    FormBox[
      FractionBox[
        RowBox[{\(\((\(-1\))\)\^k\), " ", 
          SuperscriptBox[
            TagBox[\(\((1)\)\_k\),
              Pochhammer], "2"], " ", 
          TagBox[\(\((1\/2 - \[Lambda])\)\_k\),
            Pochhammer]}], 
        RowBox[{\(k!\), " ", 
          TagBox[\(\((3\/2)\)\_k\),
            Pochhammer], " ", 
          TagBox[\(\((1 - \[Lambda])\)\_k\),
            Pochhammer]}]], TraditionalForm]], "Output",
  CellLabel->"Out[16]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(FunctionExpand[%]\)], "Input",
  CellLabel->"In[17]:="],

Cell[BoxData[
    \(TraditionalForm
    \`\(\((\(-1\))\)\^k\ \@\[Pi]\ \(Gamma(k + 1)\)\ \(Gamma(1 - \[Lambda])\)\ \
\(Gamma(k - \[Lambda] + 1\/2)\)\)\/\(2\ \(Gamma(k + 3\/2)\)\ \(Gamma(1\/2 - \
\[Lambda])\)\ \(Gamma(k - \[Lambda] + 1)\)\)\)], "Output",
  CellLabel->"Out[17]="]
}, Open  ]],

Cell[TextData[
"We expand this into a series with respect to \[Lambda] around zero. "], 
  "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(\(Series[%, \ {\[Lambda], \ 0, \ 1}] // Normal\) // FunctionExpand\) // 
      FullSimplify\)], "Input",
  CellLabel->"In[18]:="],

Cell[BoxData[
    FormBox[
      FractionBox[
        RowBox[{\(\((\(-1\))\)\^k\), " ", 
          RowBox[{"(", 
            RowBox[{
              RowBox[{"\[Lambda]", " ", 
                RowBox[{"(", 
                  RowBox[{
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((0)\)], "(", "k", ")"}], "-", 
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((0)\)], "(", \(k + 1\/2\), ")"}]}], 
                  ")"}], " ", "k"}], "-", \(\[Lambda]\ \(log(4)\)\ k\), "+", 
              "k", "+", "\[Lambda]"}], ")"}]}], \(k\ \((2\ k + 1)\)\)], 
      TraditionalForm]], "Output",
  CellLabel->"Out[18]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(% /. {PolyGamma[0, k] \[Rule] \ PolyGamma[0, k + 1] - 1/k, 
        PolyGamma[0, 1/2 + k]\  \[Rule] \ 
          PolyGamma[0, 3/2 + k] - 2/\((1 + 2  k)\)}\)], "Input",
  CellLabel->"In[19]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/\(k\ \((2\ k + 1)\)\)\), 
        RowBox[{"(", 
          RowBox[{\(\((\(-1\))\)\^k\), " ", 
            RowBox[{"(", 
              RowBox[{
                RowBox[{"\[Lambda]", " ", 
                  RowBox[{"(", 
                    RowBox[{
                      RowBox[{
                        SuperscriptBox[
                          TagBox["\[Psi]",
                            PolyGamma], \((0)\)], "(", \(k + 1\), ")"}], 
                      "-", 
                      RowBox[{
                        SuperscriptBox[
                          TagBox["\[Psi]",
                            PolyGamma], \((0)\)], "(", \(k + 3\/2\), ")"}], 
                      "-", \(1\/k\), "+", \(2\/\(2\ k + 1\)\)}], ")"}], " ", 
                  "k"}], "-", \(\[Lambda]\ \(log(4)\)\ k\), "+", "k", "+", 
                "\[Lambda]"}], ")"}]}], ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[19]="]
}, Open  ]],

Cell["Now we sum the series with this as the general term. ", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(asymp\  = \ Sum[%, \ {k, 0, Infinity}] // Simplify\)], "Input",
  CellLabel->"In[20]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{"2", " ", 
          TagBox["C",
            (Catalan&)], " ", "\[Lambda]"}], "-", 
        \(1\/4\ \[Pi]\ \((\[Lambda]\ \(log(8)\) - 1)\)\)}], TraditionalForm]
      ], "Output",
  CellLabel->"Out[20]="]
}, Open  ]],

Cell[TextData[{
  "Finally, in the result of the integration at the beginning, we replace ",
  Cell[BoxData[
      \(TraditionalForm\`\(\[ThinSpace]\_3\) F\_2\)]],
  " by this asymptotic expansion. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(int /. _HypergeometricPFQ\  \[Rule] \ asymp\)], "Input",
  CellLabel->"In[21]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/\(4\ \(Gamma(\[Lambda] + 3\/2)\)\)\), 
        RowBox[{"(", 
          RowBox[{\(\@\[Pi]\), " ", \(Gamma(\[Lambda] + 1)\), " ", 
            RowBox[{"(", 
              RowBox[{
                FractionBox[
                  RowBox[{\((2\ \[Lambda] + 1)\), " ", 
                    RowBox[{"(", 
                      RowBox[{
                        RowBox[{"2", " ", 
                          TagBox["C",
                            (Catalan&)], " ", "\[Lambda]"}], "-", 
                        \(1\/4\ \[Pi]\ \((\[Lambda]\ \(log(8)\) - 1)\)\)}], 
                      ")"}]}], "\[Lambda]"], "-", 
                \(\(2\^\(\(-\[Lambda]\) - 1\)\ \[Pi]\^\(3/2\)\ \(csc(
                        \[Pi]\ \[Lambda])\)\ \(Gamma(\[Lambda] + 3\/2)
                        \)\)\/\(Gamma(\[Lambda]\/2 + 1)\)\^2\)}], ")"}]}], 
          ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[21]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(Series[%, \ {\[Lambda], \ 0, \ 0}] // Normal\) // FullSimplify\)], 
  "Input",
  CellLabel->"In[22]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[22]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Sum]\+\(k = 0\)\%\[Infinity]\((\(-1\))\)\^k
                    \/\((2\ k + 1)\)\^2\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Sum]\+\(k = 0\)\%\[Infinity]\((\(-1\))\)\^k\/\((2\ k + 1)\)\^2\)], 
  "Input",
  CellLabel->"In[23]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[23]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(2\ \(\[Sum]\+\(k = 0\)\%\[Infinity]1\/\((4\ k + 1)\)\^2\) - 
                \[Pi]\^2\/8\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(\[Pi]\^2\/8\)\) + 
        2\ \(\[Sum]\+\(k = 0\)\%\[Infinity] 1\/\((4\ k + 1)\)\^2\) // Expand
      \)], "Input",
  CellLabel->"In[24]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[24]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              RowBox[{
                RowBox[{"-", 
                  StyleBox["2",
                    ScriptLevel->0]}], 
                StyleBox[" ",
                  ScriptLevel->0], 
                StyleBox[
                  RowBox[{\(\[Sum]\+\(k = 0\)\%\[Infinity]\), 
                    FractionBox["1", 
                      SuperscriptBox[\((4\ k + 1)\), 
                        StyleBox["3",
                          ScriptLevel->0]]]}],
                  ScriptLevel->0]}], 
              StyleBox["+",
                ScriptLevel->0], 
              StyleBox[\(\[Pi]\^2\/8\),
                ScriptLevel->0]}], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Pi]\^2\/8 - 
        2\ \(\[Sum]\+\(k = 0\)\%\[Infinity] 1\/\((4\ k + 3)\)\^2\) // Expand
      \)], "Input",
  CellLabel->"In[25]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[25]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1\/2\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\(4\^k\ 
                      \(k!\)\^2\)\/\(\(\((2\ k)\)!\)\ \((2\ k + 1)\)\^2\)\)\),
              
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\( 4\^k\ \(k!\)\^2\)\/\(\(\((2\ \
k)\)!\)\ \((2\ k + 1)\)\^2\)\)\)], "Input",
  CellLabel->"In[26]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[26]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              StyleBox[
                RowBox[{\(\[Sum]\+\(k = 0\)\%\[Infinity]\), 
                  RowBox[{\(\((\(-1\))\)\^k\/\(2\ k + 1\)\), 
                    RowBox[{"(", 
                      RowBox[{"\[Gamma]", "+", 
                        RowBox[{
                          TagBox["\[Psi]",
                            PolyGamma], \((k + 1)\)}]}], ")"}]}]}],
                ScriptLevel->0], 
              StyleBox["+",
                ScriptLevel->0], \(\[Pi]\/2\ \(log(2)\)\)}], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ Log[2]\ \[Pi] + 
        \[Sum]\+\(k = 0\)\%\[Infinity]\(\((\(-1\))\)\^k\ \((PolyGamma[k + 1] \
+ EulerGamma)\)\)\/\(2\ k + 1\) // Expand\)], "Input",
  CellLabel->"In[27]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[27]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              RowBox[{
                StyleBox[\(\[Sum]\+\(k = 0\)\%\[Infinity]\),
                  ScriptLevel->0], 
                RowBox[{
                  StyleBox[\(\((\(-1\))\)\^k\/\(2\ k + 1\)\),
                    ScriptLevel->0], 
                  RowBox[{
                    StyleBox["(",
                      ScriptLevel->0], 
                    RowBox[{
                      StyleBox["\[Gamma]",
                        ScriptLevel->0], 
                      StyleBox["+",
                        ScriptLevel->0], 
                      RowBox[{
                        StyleBox[
                          TagBox["\[Psi]",
                            PolyGamma],
                          ScriptLevel->0], 
                        RowBox[{
                          StyleBox["(",
                            ScriptLevel->0], 
                          RowBox[{
                            StyleBox["k",
                              ScriptLevel->0], 
                            StyleBox["+",
                              ScriptLevel->0], 
                            FractionBox[
                              StyleBox["3",
                                ScriptLevel->0], "2"]}], 
                          StyleBox[")",
                            ScriptLevel->0]}]}]}], 
                    StyleBox[")",
                      ScriptLevel->0]}]}]}], "+", \(\[Pi]\/4\ \(log(2)\)\)}], 
            
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/4\ \[Pi]\ Log[2] + 
        \[Sum]\+\(k = 0\)\%\[Infinity]\(\((\(-1\))\)\^k\ \((PolyGamma[k + \
3\/2] + EulerGamma)\)\)\/\(2\ k + 1\) // Expand\)], "Input",
  CellLabel->"In[28]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[28]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1 - \[Sum]\+\(k = 1\)\%\[Infinity]\(k\/4\^\(2\ k\)\) \[Zeta]\ 
                    \((2\ k + 1)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1 - 
      \[Sum]\+\(k = 1\)\%\[Infinity]\( k\ Zeta[2\ k + 1]\)\/4\^\(2\ k\)\)], 
  "Input",
  CellLabel->"In[29]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[29]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(1\/16\ \(\[Sum]\+\(k = 1
                      \)\%\[Infinity]\(\(\((3\^k - 1)\)\ \((k + 1)\)\)\/4\^k
                          \) \[Zeta]\ \((k + 2)\)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/16\ \(\[Sum]\+\(k = 1\)\%\[Infinity]\(\((3\^k - 1)\)\ \((k + 1)\)\ \
Zeta[k + 2]\)\/4\^k\)\)], "Input",
  CellLabel->"In[30]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[30]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            StyleBox[
              RowBox[{\(1\/8\), " ", 
                RowBox[{\(\[Sum]\+\(k = 2\)\%\[Infinity]\), 
                  FractionBox[
                    RowBox[{"k", " ", 
                      TagBox[
                        RowBox[{"\[Zeta]", "(", 
                          RowBox[{
                            TagBox[\(k + 1\),
                              (Editable -> True)], ",", \(3\/4\)}], ")"}],
                        InterpretTemplate[ Zeta[ #, #2]&]]}], \(2\^k\)]}]}],
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/8\ \(\[Sum]\+\(k = 2\)\%\[Infinity]\(\( k\ \)\/2\^k\) 
          Zeta[k + 1, 3\/4]\)\)], "Input",
  CellLabel->"In[31]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[31]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            StyleBox[
              RowBox[{"1", "-", 
                RowBox[{\(1\/8\), " ", 
                  RowBox[{\(\[Sum]\+\(k = 2\)\%\[Infinity]\), 
                    RowBox[{\(k\/2\^k\), 
                      TagBox[
                        RowBox[{"\[Zeta]", "(", 
                          RowBox[{
                            TagBox[\(k + 1\),
                              (Editable -> True)], ",", 
                            TagBox[\(5\/4\),
                              (Editable -> True)]}], ")"}],
                        InterpretTemplate[ Zeta[ #, #2]&]]}]}]}]}],
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1 - 
      1\/8\ \(\[Sum]\+\(k = 2\)\%\[Infinity]\(\( k\ \)\/2\^k\) 
            Zeta[k + 1, 5\/4]\)\)], "Input",
  CellLabel->"In[32]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[32]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\(\ \[Pi]\)\/2\ \(log(2)\) - 
                \(\ \[Pi]\)\/32\ 
                  \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\((2\ k + 1)\)!\)\^2
                        \/\(16\^k\ \(k!\)\^4\ \((k + 1)\)\^3\)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[CellGroupData[{

Cell[BoxData[
    \(1\/2\ \[Pi]\ Log[2] - 
        1\/32\ \[Pi]\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\((2\ k + \
1)\)!\)\^2\/\(16\^k\ \(k!\)\^4\ \((k + 1)\)\^3\)\) // FullSimplify\)], "Input",\

  CellLabel->"In[33]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[33]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\@2\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\((2\ k)\)!\)\/\(8\^k\ 
                        \(k!\)\^2\ \((2\ k + 1)\)\^2\)\) - 
                \(\ \[Pi]\)\/4\ \(log(2)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell["The direct approach does not work. ", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(1\/4\)\)\ \[Pi]\ Log[2] + 
      \@2\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\((2\ k)\)!\)\/\(8\^k\ \(k!\)\^2\
\ \((2\ k + 1)\)\^2\)\)\)], "Input",
  CellLabel->"In[34]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{\(\@2\), " ", 
          TagBox[
            RowBox[{\(\(\[ThinSpace]\_3\)F\_2\), "(", 
              RowBox[{
                TagBox[
                  TagBox[
                    RowBox[{
                      TagBox[\(1\/2\),
                        (Editable -> True)], ",", 
                      TagBox[\(1\/2\),
                        (Editable -> True)], ",", 
                      TagBox[\(1\/2\),
                        (Editable -> True)]}],
                    InterpretTemplate[ {
                      SlotSequence[ 1]}&]],
                  (Editable -> False)], ";", 
                TagBox[
                  TagBox[
                    RowBox[{
                      TagBox[\(3\/2\),
                        (Editable -> True)], ",", 
                      TagBox[\(3\/2\),
                        (Editable -> True)]}],
                    InterpretTemplate[ {
                      SlotSequence[ 1]}&]],
                  (Editable -> False)], ";", 
                TagBox[\(1\/2\),
                  (Editable -> True)]}], ")"}],
            InterpretTemplate[ HypergeometricPFQ[ #, #2, #3]&]]}], "-", 
        \(1\/4\ \[Pi]\ \(log(2)\)\)}], TraditionalForm]], "Output",
  CellLabel->"Out[34]="]
}, Open  ]],

Cell[TextData[{
  "We observe that ",
  Cell[BoxData[
      \(TraditionalForm
      \`1\/\(2\ k + 1\) = 
        \[Integral]\_0\%1\( t\^\(2\ k\)\) \[DifferentialD]t\)]],
  ".\nSubstitute this into the series and change the order of summation and \
integration.\n",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Sum]\+\(k = 0\)\%\[Infinity]\(\((2\ k)\)!\)\/\(8\^k\ \(k!\)\^2\ 
              \((2\ k + 1)\)\^2\) = 
        \(\[Sum]\+\(k = 0
                \)\%\[Infinity]\(\(\((2\ k)\)!\)\/\(8\^k\ \(k!\)\^2\ 
                    \((2\ k + 1)\)\)\) 
              \((\[Integral]\_0\%1\( t\^\(2  k\)\) \[DifferentialD]t)\) = 
          \[Integral]\_0\%1
              \((\[Sum]\+\(k = 0\)\%\[Infinity]\(\(\((2\ k)\)!\) 
                      t\^\(2  k\)\)\/\(8\^k\ \(k!\)\^2\ \((2\ k + 1)\)\))\) 
              \[DifferentialD]t\)\)]],
  "\nWe evauate the series and integral on the right side with ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " and then form the original expression. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\(\((2\ k)\)!\)\ t\^\(2\ k\)\)\/\(8\^k\ \
\(k!\)\^2\ \((2\ k + 1)\)\)\)], "Input",
  CellLabel->"In[35]:="],

Cell[BoxData[
    \(TraditionalForm\`\(\@2\ \(\(sin\^\(-1\)\)(t\/\@2)\)\)\/t\)], "Output",
  CellLabel->"Out[35]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(Integrate[%, \ {t, \ 0, \ 1}]\)], "Input",
  CellLabel->"In[36]:="],

Cell[BoxData[
    FormBox[
      FractionBox[
        RowBox[{
          RowBox[{"8", " ", 
            TagBox["C",
              (Catalan&)]}], "+", \(\[ImaginaryI]\ \[Pi]\^2\), "+", 
          \(4\ \[Pi]\ \(log(1 - \[ImaginaryI])\)\)}], \(8\ \@2\)], 
      TraditionalForm]], "Output",
  CellLabel->"Out[36]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(\(-\(1\/4\)\)\ \[Pi]\ Log[2] + \@2\ %\)], "Input",
  CellLabel->"In[37]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{\(1\/8\), " ", 
          RowBox[{"(", 
            RowBox[{
              RowBox[{"8", " ", 
                TagBox["C",
                  (Catalan&)]}], "+", \(\[ImaginaryI]\ \[Pi]\^2\), "+", 
              \(4\ \[Pi]\ \(log(1 - \[ImaginaryI])\)\)}], ")"}]}], "-", 
        \(1\/4\ \[Pi]\ \(log(2)\)\)}], TraditionalForm]], "Output",
  CellLabel->"Out[37]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[%]\)], "Input",
  CellLabel->"In[38]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[38]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            
            StyleBox[
              \(\[Pi]\/8\ \(log(\@3 + 2)\) + 
                3\/8\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\(k!\)\^2
                        \/\(\(\((2\ k)\)!\)\ \((2\ k + 1)\)\^2\)\)\),
              ScriptLevel->0], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell["Again, the direct approach does not work. ", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(int\  = \ 
      1\/8\ \[Pi]\ Log[\@3 + 2] + 
        3\/8\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\( k!\)\^2\/\(\(\((2\ k)\)!\)\ \
\((2\ k + 1)\)\^2\)\)\)], "Input",
  CellLabel->"In[51]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        RowBox[{\(3\/8\), " ", 
          TagBox[
            RowBox[{\(\(\[ThinSpace]\_3\)F\_2\), "(", 
              RowBox[{
                TagBox[
                  TagBox[
                    RowBox[{
                      TagBox[\(1\/2\),
                        (Editable -> True)], ",", 
                      TagBox["1",
                        (Editable -> True)], ",", 
                      TagBox["1",
                        (Editable -> True)]}],
                    InterpretTemplate[ {
                      SlotSequence[ 1]}&]],
                  (Editable -> False)], ";", 
                TagBox[
                  TagBox[
                    RowBox[{
                      TagBox[\(3\/2\),
                        (Editable -> True)], ",", 
                      TagBox[\(3\/2\),
                        (Editable -> True)]}],
                    InterpretTemplate[ {
                      SlotSequence[ 1]}&]],
                  (Editable -> False)], ";", 
                TagBox[\(1\/4\),
                  (Editable -> True)]}], ")"}],
            InterpretTemplate[ HypergeometricPFQ[ #, #2, #3]&]]}], "+", 
        \(1\/8\ \[Pi]\ \(log(2 + \@3)\)\)}], TraditionalForm]], "Output",
  CellLabel->"Out[51]="]
}, Open  ]],

Cell[TextData[{
  "As in the previous representation, we replace ",
  Cell[BoxData[
      \(TraditionalForm\`1\/\(2  k + 1\)\)]],
  " by ",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Integral]\_0\%1\( t\^\(2\ k\)\) \[DifferentialD]t\)]],
  " and change the order of summation and integration.\n\n",
  Cell[BoxData[
      \(TraditionalForm
      \`1\/8\ \[Pi]\ \(log(\@3 + 2)\) + 
          3\/8\ \(\[Sum]\+\(k = 0\)\%\[Infinity]\( k!\)\^2
                  \/\(\(\((2\ k)\)!\)\ \((2\ k + 1)\)\^2\)\)\  = \ 
        1\/8\ \[Pi]\ \(log(\@3 + 2)\) + 
          \(3\/8\) 
            \(\[Integral]\_0\%1
                \(\[Sum]\+\(k = 0
                    \)\%\[Infinity]\(\(\(\( k!\)\^2\) 
                        t\^\(2\ k\)\)\/\(\(\((2\ k)\)!\)\ \((2\ k + 1)\)\)\) 
                  \[DifferentialD]t\)\)\)]]
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[TextData[{
  "We evaluate the sum and the integral using ",
  StyleBox["Mathematica.",
    FontSlant->"Italic"]
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Sum]\+\(k = 0\)\%\[Infinity]\(\( k!\)\^2\ t\^\(2\ k\)\)\/\(\(\((2\ k)\
\)!\)\ \((2\ k + 1)\)\)\)], "Input",
  CellLabel->"In[52]:="],

Cell[BoxData[
    \(TraditionalForm
    \`\(2\ \(\(sin\^\(-1\)\)(t\/2)\)\)\/\(t\ \@\(1 - t\^2\/4\)\)\)], "Output",\

  CellLabel->"Out[52]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(Limit[Integrate[%, \ {t, \ n, \ 1}], \ n \[Rule] 0]\)], "Input",
  CellLabel->"In[53]:="],

Cell[BoxData[
    \(TraditionalForm
    \`1\/6\ \[ImaginaryI]\ \((3\ \[Pi]\^2 - 
          2\ \[ImaginaryI]\ \[Pi]\ \(log(1 - \@\(-1\)\%6)\) + 
          2\ \[ImaginaryI]\ \[Pi]\ \(log(1 + \@\(-1\)\%6)\) + 
          12\ \(\(Li\_2\)(\(-\@\(-1\)\%6\))\) - 
          12\ \(\(Li\_2\)(\@\(-1\)\%6)\))\)\)], "Output",
  CellLabel->"Out[53]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(int /. _HypergeometricPFQ\  \[Rule] %\)], "Input",
  CellLabel->"In[54]:="],

Cell[BoxData[
    \(TraditionalForm
    \`1\/8\ \[Pi]\ \(log(2 + \@3)\) + 
      1\/16\ \[ImaginaryI]\ \((3\ \[Pi]\^2 - 
            2\ \[ImaginaryI]\ \[Pi]\ \(log(1 - \@\(-1\)\%6)\) + 
            2\ \[ImaginaryI]\ \[Pi]\ \(log(1 + \@\(-1\)\%6)\) + 
            12\ \(\(Li\_2\)(\(-\@\(-1\)\%6\))\) - 
            12\ \(\(Li\_2\)(\@\(-1\)\%6)\))\)\)], "Output",
  CellLabel->"Out[54]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[%]\)], "Input",
  CellLabel->"In[55]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[55]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
    FormBox[GridBox[{
          {
            RowBox[{
              StyleBox[
                RowBox[{\(1\/4\), " ", 
                  RowBox[{
                    UnderoverscriptBox["\[Sum]", 
                      RowBox[{
                        StyleBox["k",
                          ScriptLevel->0], "=", "0"}], "\[Infinity]"], 
                    RowBox[{
                      FractionBox[
                        RowBox[{
                          SuperscriptBox["2", 
                            StyleBox["k",
                              ScriptLevel->0]], " ", 
                          SuperscriptBox[
                            RowBox[{
                              StyleBox["k",
                                ScriptLevel->0], "!"}], "2"]}], 
                        RowBox[{
                          RowBox[{"(", 
                            RowBox[{
                              RowBox[{"2", " ", 
                                StyleBox["k",
                                  ScriptLevel->0]}], "+", "1"}], ")"}], 
                          "!"}]], " ", 
                      TagBox["\[Psi]",
                        PolyGamma], \((k + 3\/2)\)}]}]}],
                ScriptLevel->0], 
              StyleBox["+",
                ScriptLevel->0], \(\[Pi]\/4\ \ \(log(2)\)\), "+", 
              \(\(\[Pi]\/8\) \[Gamma]\)}], 
            ButtonBox[
              StyleBox["proof",
                FontSlant->"Italic"],
              ButtonFunction:>(FrontEndExecute[ {
                  FrontEnd`SelectionMove[ 
                    FrontEnd`SelectedNotebook[ ], All, ButtonCell], 
                  FrontEndToken[ "SelectionOpenAllGroups"]}]&),
              Active->True,
              ButtonExpandable->False,
              ButtonFrame->"DialogBox"]}
          },
        ColumnAlignments->{Left, Right}], TraditionalForm]], "Subsection",
  CellDingbat->None,
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  CellFrameLabels->{{Cell[ 
          TextData[ {
            StyleBox[ "(", FontSlant -> "Italic"], 
            StyleBox[ 
              CounterBox[ "Subsection"], FontSlant -> "Italic"], 
            StyleBox[ ") ", FontSlant -> "Italic"]}]], Inherited}, {
      Inherited, Inherited}},
  FontWeight->"Plain"],

Cell[CellGroupData[{

Cell["Proof", "Subsubsection",
  CellDingbat->"",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}},
  FontSlant->"Italic"],

Cell[TextData[{
  "The ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  " proof is complicated. We use the  property of the polygamma function, ",
  Cell[BoxData[
      FormBox[
        RowBox[{
          RowBox[{
            SuperscriptBox[
              TagBox["\[Psi]",
                PolyGamma], \((0)\)], "(", \(n + 3\/2\), ")"}], "=", 
          RowBox[{
            RowBox[{
              SuperscriptBox[
                TagBox["\[Psi]",
                  PolyGamma], \((0)\)], "(", \(n + 1\/2\), ")"}], "+", 
            \(2\/\(2\ n + 1\)\)}]}], TraditionalForm]]],
  ", to divide the given sum into two sums that we evaluate   separately. \n\n\
",
  Cell[BoxData[
      FormBox[
        RowBox[{
          RowBox[{\(\[Sum]\+\(n = 0\)\%\[Infinity]\), 
            FractionBox[
              RowBox[{\(2\^n\), " ", \(\(n!\)\^2\), " ", 
                RowBox[{
                  SuperscriptBox[
                    TagBox["\[Psi]",
                      PolyGamma], \((0)\)], "(", \(n + 3\/2\), ")"}]}], 
              \(\((2\ n + 1)\)!\)]}], "=", 
          RowBox[{
          \(2 \(\[Sum]\+\(n = 0\)\%\[Infinity]\( 2\^n\ 
                    \(n!\)\^2\)\/\(\(\((2\ n + 1)\)!\)\ \((2\ n + 1)\)\)\)\), 
            "+", 
            RowBox[{\(\[Sum]\+\(n = 0\)\%\[Infinity]\), 
              FractionBox[
                RowBox[{\(2\^n\), " ", \(\(n!\)\^2\), " ", 
                  RowBox[{
                    SuperscriptBox[
                      TagBox["\[Psi]",
                        PolyGamma], \((0)\)], "(", \(n + 1\/2\), ")"}]}], 
                \(\((2\ n + 1)\)!\)]}]}]}], TraditionalForm]]],
  "\n\nThe first sum can be rewritten as ",
  Cell[BoxData[
      \(TraditionalForm
      \`\[Sum]\+\(n = 0\)\%\[Infinity]\( 2\^n\ 
              \(n!\)\^2\)\/\(\(\((2\ n + 1)\)!\)\ \((2\ n + 1)\)\) = 
        \[Integral]\_0\%1
            \((\[Sum]\+\(n = 0\)\%\[Infinity]\( 2\^n\ \(n!\)\^2\ 
                    t\^\(2\ n\)\)\/\(\((2\ n + 1)\)!\))\) 
            \[DifferentialD]t\)]],
  ".\nWe evaluate it in ",
  StyleBox["Mathematica",
    FontSlant->"Italic"],
  ". "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Sum]\+\(n = 0\)\%\[Infinity]\( 2\^n\ \(n!\)\^2\ t\^\(2\ n\)\)\/\(\((2\
\ n + 1)\)!\)\)], "Input",
  CellLabel->"In[56]:="],

Cell[BoxData[
    \(TraditionalForm
    \`\(\@2\ \(\(sin\^\(-1\)\)(t\/\@2)\)\)\/\(t\ \@\(1 - t\^2\/2\)\)\)], 
  "Output",
  CellLabel->"Out[56]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Integral]\_0\%1 % \[DifferentialD]t\)], "Input",
  CellLabel->"In[57]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/\(16\ \@2\)\), 
        RowBox[{"(", 
          RowBox[{
          \(8\ \[ImaginaryI]\ \[Pi]\^2\), "+", 
            \(8\ \[Pi]\ \(log(1 - \@\(-1\)\%4)\)\), "-", 
            \(8\ \[Pi]\ \(log(1 + \@\(-1\)\%4)\)\), "-", 
            RowBox[{\(\((\(-1\))\)\^\(3/4\)\), " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(1\/8\), ")"}]}], "+", 
            RowBox[{\(\@\(-1\)\%4\), " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(3\/8\), ")"}]}], "+", 
            RowBox[{\(\((\(-1\))\)\^\(3/4\)\), " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(5\/8\), ")"}]}], "-", 
            RowBox[{\(\@\(-1\)\%4\), " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(7\/8\), ")"}]}]}], ")"}]}], 
      TraditionalForm]], "Output",
  CellLabel->"Out[57]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[%]\)], "Input",
  CellLabel->"In[58]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/\(16\ \@2\)\), 
        RowBox[{"(", 
          RowBox[{
          \(8\ \[Pi]\ \((\[ImaginaryI]\ \[Pi] + log(1 - \@\(-1\)\%4) - 
                  log(1 + \@\(-1\)\%4))\)\), "+", 
            RowBox[{\(\@\(-1\)\%4\), " ", 
              RowBox[{"(", 
                RowBox[{
                  RowBox[{\(-\[ImaginaryI]\), " ", 
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((1)\)], "(", \(1\/8\), ")"}]}], "+", 
                  RowBox[{
                    SuperscriptBox[
                      TagBox["\[Psi]",
                        PolyGamma], \((1)\)], "(", \(3\/8\), ")"}], "+", 
                  RowBox[{"\[ImaginaryI]", " ", 
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((1)\)], "(", \(5\/8\), ")"}]}], "-", 
                  RowBox[{
                    SuperscriptBox[
                      TagBox["\[Psi]",
                        PolyGamma], \((1)\)], "(", \(7\/8\), ")"}]}], ")"}]}]}
            ], ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[58]="]
}, Open  ]],

Cell[TextData["Let us name the first sum as  \[Alpha]. "], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[BoxData[
    \(\(\[Alpha] = 2\ %;\)\)], "Input",
  CellLabel->"In[59]:="],

Cell[TextData[{
  "Now we consider the second sum, ",
  Cell[BoxData[
      FormBox[
        RowBox[{\(\[Sum]\+\(n = 0\)\%\[Infinity]\), 
          FractionBox[
            RowBox[{\(2\^n\), " ", \(\(n!\)\^2\), " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((0)\)], "(", \(n + 1\/2\), ")"}]}], 
            \(\((2\ n + 1)\)!\)]}], TraditionalForm]]],
  ".\nWe need to introduce the values of of Tan and Cot at ",
  Cell[BoxData[
      \(TraditionalForm\`\[Pi]\/8\)]],
  ". "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[BoxData[
    \(\(Unprotect[Tan, \ Cot];\)\)], "Input",
  CellLabel->"In[60]:="],

Cell[BoxData[
    \(Tan[\[Pi]\/8] = \@2 - 1; Cot[\[Pi]\/8] = \@\(2\ \) + 1;\)], "Input",
  CellLabel->"In[61]:="],

Cell[BoxData[
    \(\(Protect[Tan, \ Cot];\)\)], "Input",
  CellLabel->"In[62]:="],

Cell[TextData[{
  "Now we use ",
  StyleBox["Mathematica ",
    FontSlant->"Italic"],
  "to calculate the second sum. "
}], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[
      \[Sum]\+\(n = 0\)\%\[Infinity]\( 2\^n\ \(n!\)\^2\ PolyGamma[0, n + \
1\/2]\)\/\(\((2\ n + 1)\)!\)]\)], "Input",
  CellLabel->"In[63]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/16\), " ", 
        RowBox[{"(", 
          RowBox[{
            RowBox[{"64", " ", 
              TagBox["C",
                (Catalan&)]}], "-", 
            \(8\ \[ImaginaryI]\ \((\(-3\) + \@2)\)\ \[Pi]\^2\), "-", 
            \(8\ \[ImaginaryI]\ \((\(-8\) + \@2)\)\ \[Pi]\ \(\(cot\^\(-1\)\)(
                1 - \@2)\)\), "+", 
            \(32\ \(\(cot\^\(-1\)\)(1 + \@2)\)\ \(log(3 - 2\ \@2)\)\), "-", 
            \(32\ \(\(cot\^\(-1\)\)(1 - \@2)\)\ \(log(3 + 2\ \@2)\)\), "-", 
            RowBox[{"4", " ", "\[Pi]", " ", 
              RowBox[{"(", 
                RowBox[{
                  RowBox[{"2", " ", 
                    TagBox["\[DoubledGamma]",
                      (EulerGamma&)]}], "+", \(10\ \(\(sinh\^\(-1\)\)(1)\)\), 
                  "+", \(log(1584 + 1120\ \@2)\), "+", 
                  \(\@2\ \((\(-2\)\ \[ImaginaryI]\ \(\(cot\^\(-1\)\)(
                            1 + \@2)\) + log(\(-1\) + 4\/\(2 + \@2\)))\)\)}], 
                ")"}]}], "+", 
            RowBox[{\((1 + \[ImaginaryI])\), " ", 
              RowBox[{"(", 
                RowBox[{
                  RowBox[{"\[ImaginaryI]", " ", 
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((1)\)], "(", \(1\/8\), ")"}]}], "-", 
                  RowBox[{
                    SuperscriptBox[
                      TagBox["\[Psi]",
                        PolyGamma], \((1)\)], "(", \(3\/8\), ")"}], "-", 
                  RowBox[{"\[ImaginaryI]", " ", 
                    RowBox[{
                      SuperscriptBox[
                        TagBox["\[Psi]",
                          PolyGamma], \((1)\)], "(", \(5\/8\), ")"}]}], "+", 
                  RowBox[{
                    SuperscriptBox[
                      TagBox["\[Psi]",
                        PolyGamma], \((1)\)], "(", \(7\/8\), ")"}], "+", 
                  \(\((16 + 
                        16\ \[ImaginaryI])\)\ \((\(-\(\(Li\_2\)(
                            \(-\(\(1 + \[ImaginaryI]\)\/\(\(-2\) + 
                                    \@2\)\)\))\)\) + 
                        \(Li\_2\)(
                          \(-\(\(1 - \[ImaginaryI]\)\/\(\(-2\) + \@2\)\)\)) - 
                        \(Li\_2\)(\(1 - \[ImaginaryI]\)\/\(2 + \@2\)) + 
                        \(Li\_2\)(\(1 + \[ImaginaryI]\)\/\(2 + \@2\)))\)\)}], 
                ")"}]}]}], ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[63]="]
}, Open  ]],

Cell["\<\
We do further simplifications by applying some of transformation rules. The \
display of the result is suppressed because it is a little complicated; we \
will simplify it in the next step. \
\>", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[BoxData[
    \(\(% /. 
        {PolyLog[2, \(-\(\(1 + \[ImaginaryI]\)\/\(\(-2\) + \@2\)\)\)] \[Rule] 
            \(-\(\[Pi]\^2\/6\)\) - 
              1\/2\ Log[\(-\((\((\(-1\))\)\^\(1/4\)\ \((1 + \@2)\))\)\)]\^2 - 
              PolyLog[2, \(-\(\((\(-1\))\)\^\(3/4\)\/\(1 + \@2\)\)\)], 
          PolyLog[2, \(1 + \[ImaginaryI]\)\/\(2 + \@2\)] \[Rule] 
            PolyLog[2, \((\(-1\))\)\^\(1/4\)\/\(1 + \@2\)], 
          PolyLog[2, \(1 - \[ImaginaryI]\)\/\(2 + \@2\)] \[Rule] 
            PolyLog[2, \(-\(\((\(-1\))\)\^\(3/4\)\/\(1 + \@2\)\)\)], 
          PolyLog[2, \(-\(\(1 - \[ImaginaryI]\)\/\(\(-2\) + \@2\)\)\)] 
            \[Rule] \(-\(\[Pi]\^2\/6\)\) - 
              1\/2\ Log[\((\(-1\))\)\^\(3/4\)\ \((1 + \@2)\)]\^2 - 
              PolyLog[2, \((\(-1\))\)\^\(1/4\)\/\(1 + \@2\)]};\)\)], 
  "InputOnly",
  CellLabel->"In[93]:="],

Cell["We name the second sum \[Beta]. ", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(\[Beta] = \ FullSimplify[%]\)], "Input",
  CellLabel->"In[94]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\((1\/16 + \[ImaginaryI]\/16)\), " ", 
        RowBox[{"(", 
          RowBox[{
            RowBox[{\((32 - 32\ \[ImaginaryI])\), " ", 
              TagBox["C",
                (Catalan&)]}], "+", 
            RowBox[{\((2 + 2\ \[ImaginaryI])\), " ", 
              RowBox[{"(", 
                RowBox[{
                \(\(-2\)\ \((\(-3\) + \@2)\)\ \[Pi]\^2\), "+", 
                  \(8\ \[ImaginaryI]\ \((\(-\(\(cot\^\(-1\)\)(
                              1 + \@2)\)\)\ \(log(3 - 2\ \@2)\) + 
                        \(\(cot\^\(-1\)\)(1 - \@2)\)\ \(log(
                            3 + 2\ \@2)\))\)\), "+", 
                  RowBox[{"\[Pi]", " ", 
                    RowBox[{"(", 
                      RowBox[{
                        RowBox[{"2", " ", "\[ImaginaryI]", " ", 
                          TagBox["\[DoubledGamma]",
                            (EulerGamma&)]}], "-", 
                        \(2\ \((\(-8\) + \@2)\)\ \(\(cot\^\(-1\)\)(
                            1 - \@2)\)\), "-", 
                        \(2\ \[ImaginaryI]\ \(\(sinh\^\(-1\)\)(1)\)\), "+", 
                        \(\@2\ \((2\ \(\(cot\^\(-1\)\)(1 + \@2)\) + 
                              \[ImaginaryI]\ \(log(3 - 2\ \@2)\))\)\), "+", 
                        \(\[ImaginaryI]\ \(log(1584 + 1120\ \@2)\)\)}], ")"}]}
                    ]}], ")"}]}], "+", 
            RowBox[{"\[ImaginaryI]", " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(1\/8\), ")"}]}], "-", 
            RowBox[{
              SuperscriptBox[
                TagBox["\[Psi]",
                  PolyGamma], \((1)\)], "(", \(3\/8\), ")"}], "-", 
            RowBox[{"\[ImaginaryI]", " ", 
              RowBox[{
                SuperscriptBox[
                  TagBox["\[Psi]",
                    PolyGamma], \((1)\)], "(", \(5\/8\), ")"}]}], "+", 
            RowBox[{
              SuperscriptBox[
                TagBox["\[Psi]",
                  PolyGamma], \((1)\)], "(", \(7\/8\), ")"}]}], ")"}]}], 
      TraditionalForm]], "Output",
  CellLabel->"Out[94]="]
}, Open  ]],

Cell[TextData[
"We form the original expression using the sums \[Alpha] and \[Beta]. "], 
  "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[
      \(EulerGamma\ \[Pi]\)\/8 + 1\/4\ \[Pi]\ Log[2] + 
        \(\[Alpha] + \[Beta]\)\/4]\)], "Input",
  CellLabel->"In[95]:="],

Cell[BoxData[
    FormBox[
      RowBox[{\(1\/8\), " ", 
        RowBox[{"(", 
          RowBox[{
            RowBox[{"8", " ", 
              TagBox["C",
                (Catalan&)]}], "+", \(3\ \[ImaginaryI]\ \[Pi]\^2\), "+", 
            \(4\ \(\(cot\^\(-1\)\)(1 + \@2)\)\ \(log(3 - 2\ \@2)\)\), "-", 
            \(4\ \(\(cot\^\(-1\)\)(1 - \@2)\)\ \(log(3 + 2\ \@2)\)\), "+", 
            \(\[Pi]\ \((8\ \[ImaginaryI]\ \(\(cot\^\(-1\)\)(1 - \@2)\) + 
                  \(sinh\^\(-1\)\)(1) - 1\/2\ \(log(99 + 70\ \@2)\))\)\)}], 
          ")"}]}], TraditionalForm]], "Output",
  CellLabel->"Out[95]="]
}, Open  ]],

Cell["\<\
At the end of the following chain of simplifications we obtain the \
desired result. \
\>", "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}],

Cell[BoxData[
    \(\(% /. ArcCot[1\  - \ Sqrt[2]] -> \(-ArcCot[1\  + \ Sqrt[2]]\) - Pi/4;
      \)\)], "InputOnly",
  CellLabel->"In[96]:="],

Cell[CellGroupData[{

Cell[BoxData[
    \(Collect[%, ArcCot[1\  + \ Sqrt[2]], FullSimplify]\)], "Input",
  CellLabel->"In[97]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        TagBox["C",
          (Catalan&)], "+", \(\(\[ImaginaryI]\ \[Pi]\^2\)\/8\), "-", 
        \(\[ImaginaryI]\ \[Pi]\ \(\(cot\^\(-1\)\)(1 + \@2)\)\)}], 
      TraditionalForm]], "Output",
  CellLabel->"Out[97]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(TrigToExp[%] /. Log[w_]\  :> \ Log[w // FullSimplify]\)], "Input",
  CellLabel->"In[98]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        TagBox["C",
          (Catalan&)], "+", \(\(\[ImaginaryI]\ \[Pi]\^2\)\/8\), "+", 
        \(1\/2\ \[Pi]\ \(log(1 - \[ImaginaryI]\/\(1 + \@2\))\)\), "-", 
        \(1\/2\ \[Pi]\ \(log(1 + \[ImaginaryI]\/\(1 + \@2\))\)\)}], 
      TraditionalForm]], "Output",
  CellLabel->"Out[98]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(% //. r1_. \ Log[w_]\  + \ r2_. \ Log[e_]\  :> \ 
        Log[w^r1\ e^r2 // Expand]\)], "Input",
  CellLabel->"In[99]:="],

Cell[BoxData[
    FormBox[
      RowBox[{
        TagBox["C",
          (Catalan&)], "+", \(\(\[ImaginaryI]\ \[Pi]\^2\)\/8\), "+", 
        \(log(\((1 - \[ImaginaryI]\/\(1 + \@2\))\)\^\(\[Pi]/2\)\ \((1 + \
\[ImaginaryI]\/\(1 + \@2\))\)\^\(\(-\[Pi]\)/2\))\)}], TraditionalForm]], 
  "Output",
  CellLabel->"Out[99]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
    \(FullSimplify[%]\)], "Input",
  CellLabel->"In[100]:="],

Cell[BoxData[
    FormBox[
      TagBox["C",
        (Catalan&)], TraditionalForm]], "Output",
  CellLabel->"Out[100]="]
}, Open  ]],

Cell[TextData["\[FilledSquare]"], "Text",
  CellMargins->{{Inherited, 54}, {Inherited, Inherited}}]
}, Open  ]]
}, Closed]]
},
FrontEndVersion->"4.0 for Macintosh",
ScreenRectangle->{{0, 1152}, {0, 850}},
WindowToolbars->{},
WindowSize->{435, 283},
WindowMargins->{{11, Automatic}, {Automatic, -6}},
CommonDefaultFormatTypes->{"Output"->TraditionalForm},
GridBoxOptions->{ColumnWidths->{22, 10}},
StyleDefinitions -> "Demo.nb",
MacintoshSystemPageSetup->"\<\
00<0001804P000000]P2:?oQon82n@960dL5:0?l0080001804P000000]P2:001
0000I00000400`<300000BL?00400@0000000000000006P801T1T00000000000
00000000000000000000000000000000\>"
]


(***********************************************************************
Cached data follows.  If you edit this Notebook file directly, not using
Mathematica, you must remove the line containing CacheID at the top of 
the file.  The cache data will then be recreated when you save this file 
from within Mathematica.
***********************************************************************)

(*CellTagsOutline
CellTagsIndex->{}
*)

(*CellTagsIndex
CellTagsIndex->{}
*)

(*NotebookFileOutline
Notebook[{
Cell[1717, 49, 14635, 185, 24, 14455, 179, "GraphicsData", 
"Bitmap", "HeaderCell",
  Evaluatable->False],
Cell[16355, 236, 67, 0, 119, "Title"],
Cell[16425, 238, 33, 0, 56, "Author"],
Cell[16461, 240, 892, 24, 119, "Text"],

Cell[CellGroupData[{
Cell[17378, 268, 1125, 29, 61, "Subsection"],

Cell[CellGroupData[{
Cell[18528, 301, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[18683, 308, 85, 1, 57, "Input"],
Cell[18771, 311, 91, 3, 44, "Output"]
}, Open  ]],
Cell[18877, 317, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[19025, 324, 1135, 29, 57, "Subsection"],

Cell[CellGroupData[{
Cell[20185, 357, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[20340, 364, 149, 3, 62, "Input"],
Cell[20492, 369, 118, 4, 44, "Output"]
}, Open  ]],
Cell[20625, 376, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[20773, 383, 1130, 29, 53, "Subsection"],

Cell[CellGroupData[{
Cell[21928, 416, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[22083, 423, 113, 2, 57, "Input"],
Cell[22199, 427, 91, 3, 44, "Output"]
}, Open  ]],
Cell[22305, 433, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[22453, 440, 1135, 29, 53, "Subsection"],

Cell[CellGroupData[{
Cell[23613, 473, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[23768, 480, 113, 3, 57, "Input"],
Cell[23884, 485, 91, 3, 44, "Output"]
}, Open  ]],
Cell[23990, 491, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[24138, 498, 1158, 30, 55, "Subsection"],

Cell[CellGroupData[{
Cell[25321, 532, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[25476, 539, 151, 3, 60, "Input"],
Cell[25630, 544, 118, 4, 44, "Output"]
}, Open  ]],
Cell[25763, 551, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[25911, 558, 1137, 29, 55, "Subsection"],

Cell[CellGroupData[{
Cell[27073, 591, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[27228, 598, 147, 3, 60, "Input"],
Cell[27378, 603, 118, 4, 44, "Output"]
}, Open  ]],
Cell[27511, 610, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[27659, 617, 1119, 29, 55, "Subsection"],

Cell[CellGroupData[{
Cell[28803, 650, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[28958, 657, 90, 1, 60, "Input"],
Cell[29051, 660, 91, 3, 44, "Output"]
}, Open  ]],
Cell[29157, 666, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[29305, 673, 1197, 30, 57, "Subsection"],

Cell[CellGroupData[{
Cell[30527, 707, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[30682, 714, 171, 3, 62, "Input"],
Cell[30856, 719, 91, 3, 44, "Output"]
}, Open  ]],
Cell[30962, 725, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[31110, 732, 1419, 37, 57, "Subsection"],

Cell[CellGroupData[{
Cell[32554, 773, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[32709, 780, 207, 4, 112, "Input"],
Cell[32919, 786, 118, 4, 44, "Output"]
}, Open  ]],
Cell[33052, 793, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[33200, 800, 1484, 37, 57, "Subsection"],

Cell[CellGroupData[{
Cell[34709, 841, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[34864, 848, 182, 3, 60, "Input"],
Cell[35049, 853, 118, 4, 44, "Output"]
}, Open  ]],
Cell[35182, 860, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[35330, 867, 1594, 40, 55, "Subsection"],

Cell[CellGroupData[{
Cell[36949, 911, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[37104, 918, 217, 5, 62, "Input"],
Cell[37324, 925, 118, 4, 44, "Output"]
}, Open  ]],
Cell[37457, 932, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[37605, 939, 1143, 29, 71, "Subsection"],

Cell[CellGroupData[{
Cell[38773, 972, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[38928, 979, 168, 3, 74, "Input"],
Cell[39099, 984, 118, 4, 44, "Output"]
}, Open  ]],
Cell[39232, 991, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[39380, 998, 1167, 30, 71, "Subsection"],

Cell[CellGroupData[{
Cell[40572, 1032, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[40727, 1039, 175, 3, 72, "Input"],
Cell[40905, 1044, 119, 4, 44, "Output"]
}, Open  ]],
Cell[41039, 1051, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[41187, 1058, 1169, 29, 57, "Subsection"],

Cell[CellGroupData[{
Cell[42381, 1091, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[42536, 1098, 180, 3, 62, "Input"],
Cell[42719, 1103, 119, 4, 44, "Output"]
}, Open  ]],
Cell[42853, 1110, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[43001, 1117, 1340, 35, 55, "Subsection"],

Cell[CellGroupData[{
Cell[44366, 1156, 130, 3, 43, "Subsubsection"],
Cell[44499, 1161, 492, 12, 65, "Text"],
Cell[44994, 1175, 880, 21, 154, "Text"],

Cell[CellGroupData[{
Cell[45899, 1200, 189, 4, 60, "Input"],
Cell[46091, 1206, 1280, 28, 192, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[47408, 1239, 101, 2, 45, "Input"],
Cell[47512, 1243, 119, 4, 44, "Output"]
}, Open  ]],
Cell[47646, 1250, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[47794, 1257, 1097, 28, 53, "Subsection"],

Cell[CellGroupData[{
Cell[48916, 1289, 130, 3, 43, "Subsubsection"],
Cell[49049, 1294, 317, 8, 83, "Text"],
Cell[49369, 1304, 456, 11, 120, "Text"],
Cell[49828, 1317, 194, 6, 27, "Text"],

Cell[CellGroupData[{
Cell[50047, 1327, 135, 3, 64, "Input"],
Cell[50185, 1332, 115, 2, 45, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[50337, 1339, 138, 3, 60, "Input"],
Cell[50478, 1344, 119, 4, 44, "Output"]
}, Open  ]],
Cell[50612, 1351, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[50760, 1358, 1094, 28, 53, "Subsection"],

Cell[CellGroupData[{
Cell[51879, 1390, 130, 3, 43, "Subsubsection"],
Cell[52012, 1395, 775, 20, 186, "Text"],

Cell[CellGroupData[{
Cell[52812, 1419, 101, 2, 57, "Input"],
Cell[52916, 1423, 138, 3, 60, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[53091, 1431, 141, 3, 60, "Input"],
Cell[53235, 1436, 91, 3, 44, "Output"]
}, Open  ]],
Cell[53341, 1442, 89, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[53479, 1449, 1134, 29, 55, "Subsection"],

Cell[CellGroupData[{
Cell[54638, 1482, 130, 3, 43, "Subsubsection"],
Cell[54771, 1487, 840, 22, 114, "Text"],

Cell[CellGroupData[{
Cell[55636, 1513, 230, 5, 67, "Input"],
Cell[55869, 1520, 119, 4, 44, "Output"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{
Cell[56037, 1530, 104, 1, 43, "Subsubsection"],
Cell[56144, 1533, 571, 17, 102, "Text"],
Cell[56718, 1552, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[56866, 1559, 1447, 36, 59, "Subsection"],

Cell[CellGroupData[{
Cell[58338, 1599, 130, 3, 43, "Subsubsection"],
Cell[58471, 1604, 888, 24, 105, "Text"],

Cell[CellGroupData[{
Cell[59384, 1632, 225, 5, 112, "Input"],
Cell[59612, 1639, 2032, 42, 191, "Output"]
}, Open  ]],
Cell[61659, 1684, 435, 9, 84, "Text"],

Cell[CellGroupData[{
Cell[62119, 1697, 278, 6, 116, "Input"],
Cell[62400, 1705, 488, 14, 80, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[62925, 1724, 75, 2, 45, "Input"],
Cell[63003, 1728, 277, 5, 79, "Output"]
}, Open  ]],
Cell[63295, 1736, 156, 3, 27, "Text"],

Cell[CellGroupData[{
Cell[63476, 1743, 151, 3, 65, "Input"],
Cell[63630, 1748, 806, 20, 70, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[64473, 1773, 212, 4, 85, "Input"],
Cell[64688, 1779, 955, 22, 136, "Output"]
}, Open  ]],
Cell[65658, 1804, 127, 1, 27, "Text"],

Cell[CellGroupData[{
Cell[65810, 1809, 108, 2, 45, "Input"],
Cell[65921, 1813, 262, 8, 60, "Output"]
}, Open  ]],
Cell[66198, 1824, 269, 6, 46, "Text"],

Cell[CellGroupData[{
Cell[66492, 1834, 101, 2, 45, "Input"],
Cell[66596, 1838, 939, 20, 191, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[67572, 1863, 125, 3, 45, "Input"],
Cell[67700, 1868, 119, 4, 44, "Output"]
}, Open  ]],
Cell[67834, 1875, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[67982, 1882, 1126, 29, 75, "Subsection"],

Cell[CellGroupData[{
Cell[69133, 1915, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[69288, 1922, 125, 3, 74, "Input"],
Cell[69416, 1927, 119, 4, 44, "Output"]
}, Open  ]],
Cell[69550, 1934, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[69698, 1941, 1129, 29, 59, "Subsection"],

Cell[CellGroupData[{
Cell[70852, 1974, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[71007, 1981, 165, 4, 65, "Input"],
Cell[71175, 1987, 119, 4, 44, "Output"]
}, Open  ]],
Cell[71309, 1994, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[71457, 2001, 1608, 42, 75, "Subsection"],

Cell[CellGroupData[{
Cell[73090, 2047, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[73245, 2054, 156, 4, 65, "Input"],
Cell[73404, 2060, 119, 4, 44, "Output"]
}, Open  ]],
Cell[73538, 2067, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[73686, 2074, 1178, 30, 75, "Subsection"],

Cell[CellGroupData[{
Cell[74889, 2108, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[75044, 2115, 160, 3, 74, "Input"],
Cell[75207, 2120, 119, 4, 44, "Output"]
}, Open  ]],
Cell[75341, 2127, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[75489, 2134, 1472, 36, 75, "Subsection"],

Cell[CellGroupData[{
Cell[76986, 2174, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[77141, 2181, 201, 4, 133, "Input"],
Cell[77345, 2187, 119, 4, 44, "Output"]
}, Open  ]],
Cell[77479, 2194, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[77627, 2201, 2400, 60, 75, "Subsection"],

Cell[CellGroupData[{
Cell[80052, 2265, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[80207, 2272, 204, 4, 134, "Input"],
Cell[80414, 2278, 119, 4, 44, "Output"]
}, Open  ]],
Cell[80548, 2285, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[80696, 2292, 1138, 29, 63, "Subsection"],

Cell[CellGroupData[{
Cell[81859, 2325, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[82014, 2332, 137, 4, 64, "Input"],
Cell[82154, 2338, 119, 4, 44, "Output"]
}, Open  ]],
Cell[82288, 2345, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[82436, 2352, 1194, 30, 75, "Subsection"],

Cell[CellGroupData[{
Cell[83655, 2386, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[83810, 2393, 151, 3, 74, "Input"],
Cell[83964, 2398, 119, 4, 44, "Output"]
}, Open  ]],
Cell[84098, 2405, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[84246, 2412, 1489, 36, 75, "Subsection"],

Cell[CellGroupData[{
Cell[85760, 2452, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[85915, 2459, 145, 3, 64, "Input"],
Cell[86063, 2464, 119, 4, 44, "Output"]
}, Open  ]],
Cell[86197, 2471, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[86345, 2478, 1576, 38, 63, "Subsection"],

Cell[CellGroupData[{
Cell[87946, 2520, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[88101, 2527, 158, 4, 64, "Input"],
Cell[88262, 2533, 119, 4, 44, "Output"]
}, Open  ]],
Cell[88396, 2540, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[88544, 2547, 1242, 31, 75, "Subsection"],

Cell[CellGroupData[{
Cell[89811, 2582, 130, 3, 43, "Subsubsection"],

Cell[CellGroupData[{
Cell[89966, 2589, 217, 5, 97, "Input"],
Cell[90186, 2596, 119, 4, 44, "Output"]
}, Open  ]],
Cell[90320, 2603, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[90468, 2610, 1206, 30, 75, "Subsection"],

Cell[CellGroupData[{
Cell[91699, 2644, 130, 3, 43, "Subsubsection"],
Cell[91832, 2649, 109, 1, 27, "Text"],

Cell[CellGroupData[{
Cell[91966, 2654, 192, 4, 64, "Input"],
Cell[92161, 2660, 1277, 33, 60, "Output"]
}, Open  ]],
Cell[93453, 2696, 1070, 25, 171, "Text"],

Cell[CellGroupData[{
Cell[94548, 2725, 159, 3, 74, "Input"],
Cell[94710, 2730, 115, 2, 81, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[94862, 2737, 87, 2, 45, "Input"],
Cell[94952, 2741, 312, 9, 66, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[95301, 2755, 95, 2, 57, "Input"],
Cell[95399, 2759, 418, 11, 60, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[95854, 2775, 73, 2, 45, "Input"],
Cell[95930, 2779, 119, 4, 44, "Output"]
}, Open  ]],
Cell[96064, 2786, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[96212, 2793, 1201, 30, 75, "Subsection"],

Cell[CellGroupData[{
Cell[97438, 2827, 130, 3, 43, "Subsubsection"],
Cell[97571, 2832, 116, 1, 27, "Text"],

Cell[CellGroupData[{
Cell[97712, 2837, 204, 5, 74, "Input"],
Cell[97919, 2844, 1274, 33, 60, "Output"]
}, Open  ]],
Cell[99208, 2880, 887, 22, 133, "Text"],
Cell[100098, 2904, 186, 5, 27, "Text"],

Cell[CellGroupData[{
Cell[100309, 2913, 154, 3, 74, "Input"],
Cell[100466, 2918, 141, 4, 93, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[100644, 2927, 109, 2, 45, "Input"],
Cell[100756, 2931, 338, 7, 89, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[101131, 2943, 95, 2, 45, "Input"],
Cell[101229, 2947, 386, 8, 126, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[101652, 2960, 73, 2, 45, "Input"],
Cell[101728, 2964, 119, 4, 44, "Output"]
}, Open  ]],
Cell[101862, 2971, 99, 1, 27, "Text"]
}, Open  ]]
}, Closed]],

Cell[CellGroupData[{
Cell[102010, 2978, 2273, 55, 105, "Subsection"],

Cell[CellGroupData[{
Cell[104308, 3037, 130, 3, 42, "Subsubsection"],
Cell[104441, 3042, 2165, 57, 249, "Text"],

Cell[CellGroupData[{
Cell[106631, 3103, 144, 3, 74, "Input"],
Cell[106778, 3108, 146, 4, 105, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[106961, 3117, 95, 2, 58, "Input"],
Cell[107059, 3121, 1172, 29, 131, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[108268, 3155, 73, 2, 42, "Input"],
Cell[108344, 3159, 1229, 29, 97, "Output"]
}, Open  ]],
Cell[109588, 3191, 124, 1, 24, "Text"],
Cell[109715, 3194, 78, 2, 42, "Input"],
Cell[109796, 3198, 627, 17, 61, "Text"],
Cell[110426, 3217, 84, 2, 42, "Input"],
Cell[110513, 3221, 113, 2, 55, "Input"],
Cell[110629, 3225, 82, 2, 42, "Input"],
Cell[110714, 3229, 189, 6, 26, "Text"],

Cell[CellGroupData[{
Cell[110928, 3239, 176, 4, 75, "Input"],
Cell[111107, 3245, 2525, 53, 345, "Output"]
}, Open  ]],
Cell[113647, 3301, 272, 5, 56, "Text"],
Cell[113922, 3308, 850, 15, 395, "InputOnly"],
Cell[114775, 3325, 106, 1, 24, "Text"],

Cell[CellGroupData[{
Cell[114906, 3330, 85, 2, 42, "Input"],
Cell[114994, 3334, 2168, 48, 234, "Output"]
}, Open  ]],
Cell[117177, 3385, 157, 3, 24, "Text"],

Cell[CellGroupData[{
Cell[117359, 3392, 162, 4, 77, "Input"],
Cell[117524, 3398, 604, 13, 112, "Output"]
}, Open  ]],
Cell[118143, 3414, 167, 4, 40, "Text"],
Cell[118313, 3420, 141, 3, 59, "InputOnly"],

Cell[CellGroupData[{
Cell[118479, 3427, 107, 2, 58, "Input"],
Cell[118589, 3431, 258, 7, 60, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[118884, 3443, 111, 2, 58, "Input"],
Cell[118998, 3447, 332, 8, 66, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[119367, 3460, 141, 3, 58, "Input"],
Cell[119511, 3465, 316, 8, 67, "Output"]
}, Open  ]],

Cell[CellGroupData[{
Cell[119864, 3478, 74, 2, 42, "Input"],
Cell[119941, 3482, 120, 4, 41, "Output"]
}, Open  ]],
Cell[120076, 3489, 99, 1, 24, "Text"]
}, Open  ]]
}, Closed]]
}
]
*)




(***********************************************************************
End of Mathematica Notebook file.
***********************************************************************)

