A lower bound for ... on manifolds with boundary. Andrzej Derdzinski; Ch. B. Croke — 1987 Commentarii mathematici Helvetici