inverse of integral of 2*(1-x) from 0 to x