Loading Open Internet
    A result I found while studying integer partitions — looking for feedback on the proof