Adding example; adding explicit lower bound computation; optionally monitoring...

Adding example; adding explicit lower bound computation; optionally monitoring convergence; full and tied work, somehow spherical and diag diverge.