某路口人行横道的信号灯为红灯和绿灯交替出现，红灯持续时间为40秒．若一名行人 来到该路口遇到红灯，则至少需要等待15秒才出现绿灯的概率为．