Rigorous bounds on the fluid permeability: Effect of polydispersivity in grain size | Synapse