Problema proporzini