Кстати, надо бы было сделать проверку того, что D >= 0. Можно сделать так: 1 < log3(5) < 2; -2 > -2log3(5) > -4; 0 < 4-2log3(5) < 2. Ну и, собственно, этого достаточно, так как при умножении на положительное число знаки не изменятся, и в любом случае выражение больше нуля.