Fix example code for unreachable!

The previous code was giving an incorrect result (not x/3).

Also, this function does not work with signed integers. It now accepts `u32` instead of `i32`.
`<= 3*i` should be sufficient (and more clear), no? Using checked_mul would also make more sense to me than the explicit `panic` guard.