It procs on cast -- as soon as a spell finishes casting, the haste aura applies to the next spell you cast. If there's 0.1 second left on the aura and you start casting, you get the full benefit, so you only need to be able to start casting a spell with the aura up to get the benefit (so, yes, 4 hasted base 2.5 sec spells is possible).