After a friend squished an extremely big spider: is there a formula for the size of a spider's prey as a function of the spider's size?