my $prod = 1;
foreach my $num (1..2**15) {
   printf("%5d => %0.6f\n", $num, $prod);
   die "Threshold reached\n"if $prod <= 0.5;
   $prod *= (2**15 - $num)/2**15;
}