If the input of your math is completely free and human created, how does it
follow that it was math that created it ?
Why do you want it math created anyway?
A maximum is needed, yes. But does it have to be part of the protocol?
A simple policy which is set by node operators (reject block if greater than
X bytes) will solve this just fine, no?