Užitím nekonečné hry podáváme jiný důkaz Buczolichova výsledku, který říká, že existuje diferencovatelná funkce f splňující Df(0)=0 a |Df| } 1 s.v.