Don't rely on Gmail for push: they discontinued Exchange-support recently, though they grandfathered in old users. What's irritating to me is that when I set up my new phone I lost it, and am now back to using fetch-only Gmail unless I want to use one of Google's proprietary apps (unless they've changed this recently).

Agreed that I'd like Fastmail to have push. Every time they come up on HN, I mention it, because I'm a paying Fastmail customer and would like to stay one because they're really perfect in every other way, but the lack of push email is just very disappointing.

> I'm sure solutions exist for push notifications. Has anyone had success with any of them?

On iOS there are options like Boxcar and the like, but they're usually sub-optimal and rely on passing your login credentials to a third party.

Google Apps for Business does have Exchange ActiveSync:

https://support.google.com/a/answer/135937?hl=en

I played a little with PushOver, which seems to work fine. PushOver provides a user-specific (difficult to guess) e-mail address. E-mails sent there become push notifications. This can be combined with Fastmail's option to forward summarized e-mails.

One of the nice things about Fastmail is that you can use Sieve, so you can e.g. set up filtering such that only e-mails that arrive in the inbox are forwarded for push notifications.

It's not my default setup yet (I am mostly playing with Fastmail, while still using GMail as my primary e-mail provider), but it looked promising.