<pre class="language-typescript"><code class="language-typescript">type SmallerThan&lt;A extends number, B extends number, U extends any[] = []&gt; =
 A extends B ? false :
 U['length'] extends A ? true :
 U['length'] extends B ? false :
 SmallerThan&lt;A, B, [...U, any]&gt;

type A = SmallerThan&lt;0, 1&gt; // true
type B = SmallerThan&lt;1, 0&gt; // false
type C = SmallerThan&lt;10, 9&gt; // false</code></pre>

This is my accepted solution

Implement SmallerThan<A, B> to compare two positive integers. type A = SmallerThan<0, 1> // true type B = SmallerThan<1, 0> // false type C = SmallerT…