Aproximace sqrt(2) pomocí 17/12