The soft edge of a shadow is a picture of the light, projected through the occluder's edge as through a pinhole. That gives its width without any integration — and it is why the dapples under a tree go crescent-shaped during an eclipse.
All ladders