taocp 4f5 7.2.2.1-20 answer on p. 227

[wallberg]

I'm unable to get the third option (If j > k...) to match the results for the first two options.

Copied from wallberg/sandbox#1

[wallberg]

Tracked in branch https://github.com/wallberg/sandbox-go/tree/issue-2