10:13
A nice Rump
04:09
Tight bounds