Hi!
First of all I just wanted to say this is all very well written so thanks.
I am in particular searching for a closed solution for partial sum of the basel problem but can't find it :-(