How to change Gmail sync frequency in ICS?
If you use the Gmail app the mail is pushed instead of synced and therefore you cannot find the sync frequency setup.

However, if you set up your Gmail account in the Android Email app, where you can have your non Gmail accounts (POP3/IMAP/Exchange), the mail is synced and you can set the frequency in the Account settings, inside the Email app.