Список голосов Thank You

[Smith]

1-(2/3)¹⁰

та да 

на практике желтый цвет горит меньше времени чем зеленый или красный.
Кстати, если речь идет о пешеходных светофорах, то 1-(1/2)¹⁰.

на пешеходных (2 цвета) - действительно, 1023 из 1024, или (2^10-1) из 2^10.
а, вот, если красный горит вдвое дольше желтого, а зеленый - вдвое дольше красного - тогда описАть указанную вероятность для красного гораздо сложнее (я, к примеру, сходу и не соображу с чего начинать)