If s 2 k (4/48)

If s 2 k