Für / reichen in der Praxis je nach Einsatzzweck auch 10GB, nach der Installation des Systems ändert sich an der Größe von / in der Regel nicht mehr viel, wenn /var auf einer eigenen Partition liegt, sofern du in deinem /home Verzeichnis keine Datenberge sammelst, dürfte das also in Ordnung...