Martingale-formule in binaire opties