user1, while in his home directory, is attempting to run the following command in his home directory: cp bigfile verybig

The system displays the following error:

cp: cannot create verybig: Disc quota exceeded

Your initial troubleshooting shows that the df -h command indicates he is at 100% capacity. What command would you use to increase the disk space available to the user?